| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |