| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-11-05 | Change the title of the automatic tactic chapter and of its sections. | Théo Zimmermann |
| 2020-10-24 | Convert misc chapters to prodn | Jim Fehrle |
| 2020-09-11 | [refman] Rename num to natural | Pierre Roux |
| 2020-08-25 | Require NsatzTactic: nsatz support for Z and Q | Jason Gross |
| 2018-12-03 | Closes #9118: single backticks are made equivalent to double backticks; try t... | Théo Zimmermann |
| 2018-09-20 | [doc] Include the rst and LaTeX preambles automatically in all files | Clément Pit-Claudel |
| 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-04-14 | [sphinx] Fix many warnings. | Théo Zimmermann |
| 2018-03-29 | [Sphinx] Add chapter 26 | Maxime Dénès |
| 2018-03-29 | [Sphinx] Move chapter 26 to new infrastructure | Maxime Dénès |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |