coq/doc/tools/coqrst/coqdoc, branch master The formal proof system Include (* ... *) comments in .. coqtop:: directives in Sphinx output 2021-04-17T16:41:42+00:00 Jim Fehrle 2021-02-11T06:56:31+00:00 e038e130188a0b43f66dfbc084cd8d9ca2cfb550 






Checking validity of coqdoc file name.
2020-05-11T19:56:00+00:00

Hugo Herbelin

2020-05-07T17:20:39+00:00

632f709b95f4fa47e86e5c498b995eb9c2cf2ff6

This fixes #12265 (javascript injection vulnerability in file name).





This fixes #12265 (javascript injection vulnerability in file name).







Recursively look for the first string node
2020-05-08T17:12:50+00:00

Quentin Carbonneaux

2020-05-08T17:12:50+00:00

71d0315f2559dca43a5ea733f91199965b8b7879












Cleanup formatting in .. coqtop:: directives
2020-05-07T11:01:13+00:00

Quentin Carbonneaux

2020-05-07T10:26:37+00:00

5e385d0744764cc22c66af898ed11859df0b6225












Update headers in the whole code base.
2020-03-18T11:15:43+00:00

Théo Zimmermann

2020-03-18T11:14:26+00:00

a99776e10e0b2198d2b811ad82631111fb450f8a

Add headers to a few files which were missing them.





Add headers to a few files which were missing them.







Update py-style headers to new year.
2019-06-17T16:08:32+00:00

Théo Zimmermann

2019-06-06T09:22:08+00:00

7521031c01976b045f81b6123f9ee9be77122a55












Fixing typos - Part 1
2019-05-21T21:07:55+00:00

JPR

2019-05-21T21:07:55+00:00

e6322e23958a937fa01960f8ce320717b9863253












[dune] [doc] Support for building the reference manual with Dune.
2018-12-13T14:40:38+00:00

Emilio Jesus Gallego Arias

2018-09-19T00:50:29+00:00

ddb3fae72826c0da3ba449be4ebc72e44c1ace16

This is a reduced version of #8503 as to provide a way to build the
reference manual with Dune.

Dune 1.6 supports (experimentally) directories as targets, thus we
introduce a rule that will call `sphinx` to build the manual.

This only provides build, however generation of `.install` rules is
not done, it will be hopefully addressed in #8503.

Note that we set `expire: 1 month` for all the artifacts we build with
Dune. IMHO this makes most sense as not to abuse Gitlab's hosting,
however of course we could consider a different deployment strategy if
wanted.





This is a reduced version of #8503 as to provide a way to build the
reference manual with Dune.

Dune 1.6 supports (experimentally) directories as targets, thus we
introduce a rule that will call `sphinx` to build the manual.

This only provides build, however generation of `.install` rules is
not done, it will be hopefully addressed in #8503.

Note that we set `expire: 1 month` for all the artifacts we build with
Dune. IMHO this makes most sense as not to abuse Gitlab's hosting,
however of course we could consider a different deployment strategy if
wanted.







On cygwin, pass the filename in a format that coqdoc understands.
2018-06-20T14:59:22+00:00

Jim Fehrle

2018-06-15T00:56:22+00:00

5808915bcb5f9800727cc10e5232c8983e1842bd












[sphinx] Bump timeout. Closes #7532.
2018-05-16T15:13:46+00:00

Clément Pit-Claudel

2018-05-16T15:13:46+00:00

0744762fdd835ff192da72b4fc711ffa403ff8ca