| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-03-19 | [refman] Move chapters into new structure. | Théo Zimmermann |
| 2019-05-07 | Integrate build and documentation of Ltac2 | Maxime Dénès |
| 2019-03-31 | Split credits chapter in two parts: history, and changelog in inverse chronol... | Théo Zimmermann |
| 2019-03-14 | Documentation for SProp | Gaëtan Gilbert |
| 2018-10-10 | [doc] [sphinx] Fix title levels. | Théo Zimmermann |
| 2018-10-10 | Include all menu entries in the menu/short TOC so that users can view | Jim Fehrle |
| 2018-09-25 | Fix title of Introduction chapter in HTML version. | Théo Zimmermann |
| 2018-09-25 | [doc] Rename credits-wrapper to credits and credits to credits-contents | Clément Pit-Claudel |
| 2018-09-20 | [doc] Move a citation back into the introduction | Clément Pit-Claudel |
| 2018-09-20 | [doc] Create a wrapper around the Credits file for the LaTeX build | Clément Pit-Claudel |
| 2018-09-20 | [doc] Create a separate zebibliography file for the LaTeX build | Clément Pit-Claudel |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |