| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-04-17 | Include (* ... *) comments in .. coqtop:: directives in Sphinx output | Jim Fehrle |
| 2020-05-11 | Checking validity of coqdoc file name. | Hugo Herbelin |
| 2020-05-08 | Recursively look for the first string node | Quentin Carbonneaux |
| 2020-05-07 | Cleanup formatting in .. coqtop:: directives | Quentin Carbonneaux |
| 2020-03-18 | Update headers in the whole code base. | Théo Zimmermann |
| 2019-06-17 | Update py-style headers to new year. | Théo Zimmermann |
| 2019-05-21 | Fixing typos - Part 1 | JPR |
| 2018-12-13 | [dune] [doc] Support for building the reference manual with Dune. | Emilio Jesus Gallego Arias |
| 2018-06-20 | On cygwin, pass the filename in a format that coqdoc understands. | Jim Fehrle |
| 2018-05-16 | [sphinx] Bump timeout. Closes #7532. | Clément Pit-Claudel |
| 2018-05-15 | [doc] Compute the path to coqdoc at run time, not at load time | Clément Pit-Claudel |
| 2018-03-09 | Integration of a sphinx-based documentation generator. | Maxime Dénès |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |