| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-09-12 | Remove quote plugin | Maxime Dénès |
| 2018-08-31 | Merge PR #8170: Don't index names starting with `_` in docs | Théo Zimmermann |
| 2018-08-31 | Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc... | Zeimer |
| 2018-07-30 | [sphinx] Use arguments of '.. example::' directive as a title | Clément Pit-Claudel |
| 2018-07-26 | [sphinx] Do name cleanup in handle_signature | Clément Pit-Claudel |
| 2018-07-21 | Solved problems with snippets giving errors in chapter 'Detailed examples of ... | Zeimer |
| 2018-07-21 | Rewrote examples about permutations, logic and type isomorphisms: changed the... | Zeimer |
| 2018-07-21 | Improvements for the chapter 'Detailed examples of tactics' of the Reference ... | Zeimer |
| 2018-04-14 | [Sphinx] Fix all remaining warnings. | Maxime Dénès |
| 2018-04-14 | [sphinx] Fix many warnings. | Théo Zimmermann |
| 2018-03-15 | [Sphinx] Add chapter 10 | Maxime Dénès |
| 2018-03-15 | [Sphinx] Move chapter 10 to new infrastructure | Maxime Dénès |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |