| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | On cygwin, pass the filename in a format that coqdoc understands. |  Jim Fehrle | 2018-06-20 |
| * | [sphinx] Bump timeout. Closes #7532. |  Clément Pit-Claudel | 2018-05-16 |
| * | [doc] Compute the path to coqdoc at run time, not at load time | Clément Pit-Claudel | 2018-05-15 |
| * | Integration of a sphinx-based documentation generator. |  Maxime Dénès | 2018-03-09 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |