| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-09-20 | Rewrite "Flags, Options and Tables" section. | Jim Fehrle | |
| Mark boolean-valued options with :flag: Adjust tactic and command names so parameters aren't shown in the index unless they're needed for disambiguation. Remove references to synchronous options. Revise doc for tables. Correct indentation for text below :flag: | |||
| 2018-09-20 | [doc] Include the rst and LaTeX preambles automatically in all files | Clément Pit-Claudel | |
| 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 | |
| Including cross-reference TODOs. I took down the number of warnings from 300 to 50. | |||
| 2018-04-04 | [Sphinx] Add chapter 28 | Maxime Dénès | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-04-04 | [Sphinx] Move chapter 28 to new infrastructure | Maxime Dénès | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |