| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-08-03 | Fix docs on arguments to setoid_replace. Fixes #8213 | Langston Barrett |
| 2018-08-01 | Added a tactic index entry for nsatz, reformatted commands in chapter 'Genera... | Zeimer |
| 2018-08-01 | Improved grammar and spelling in the remaining chapters of the Reference Manual. | Zeimer |
| 2018-06-13 | doc: fix typo. | whitequark |
| 2018-05-09 | [sphinx] Fix new warnings related to tacn, cmd, opt... | Théo Zimmermann |
| 2018-05-05 | Clean-up around cmd documentation. | Théo Zimmermann |
| 2018-05-05 | More fixes in the Generalized Rewriting chapter. | Théo Zimmermann |
| 2018-04-16 | [Sphinx] Clean-up indices | Maxime Dénès |
| 2018-04-14 | [Sphinx] Fix all remaining warnings. | Maxime Dénès |
| 2018-04-14 | [sphinx] Fix many warnings. | Théo Zimmermann |
| 2018-03-30 | [Sphinx] Add chapter 27 | Maxime Dénès |
| 2018-03-30 | [Sphinx] Move chapter 27 to new infrastructure | Maxime Dénès |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |