| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-02-09 | Update link to refman and stdlib doc for master branch. | Théo Zimmermann |
| 2018-12-26 | [dune] Build refman with fatal warnings by default like in the Makefile build. | Théo Zimmermann |
| 2018-09-25 | Fix Sphinx manual targets. | Théo Zimmermann |
| 2018-09-20 | Define flags (binary-valued settings) and tables (settings that are sets) | Jim Fehrle |
| 2018-09-20 | Update minimum required dependency versions of Sphinx doc. | Théo Zimmermann |
| 2018-09-20 | [doc] Add sphinx-html, sphinx-latex, and sphinx-pdf targets | Clément Pit-Claudel |
| 2018-09-03 | [doc] Build ML API documentation artifact. | Emilio Jesus Gallego Arias |
| 2018-08-29 | Create SPHINXWARNERROR variable that controls whether the Sphinx | Jim Fehrle |
| 2018-06-22 | Clarify further doc/README.md following Jim's comments. | Théo Zimmermann |
| 2018-06-22 | Improve doc/README.md. | Théo Zimmermann |
| 2018-06-22 | Move INSTALL.doc into doc/README.md. | Théo Zimmermann |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |