| Age | Commit message (Expand) | Author |
|---|
| 2019-05-19 | [refman] Misc fixes (indentation, whitespace, notation syntax) | Clément Pit-Claudel |
| 2019-04-02 | Allow underscores as comments in numeral constants. | Pierre Roux |
| 2019-04-02 | Update documentation | Pierre Roux |
| 2019-03-18 | [Manual] Parametrize -> ParametErize | Lysxia |
| 2019-03-18 | [Manual] Move command Context after Let, and more polishing | Lysxia |
| 2019-03-17 | [Manual] Move doc on Let into Section mechanism, and more polishing | Lysxia |
| 2019-03-17 | [Manual] Gather section-specific commands in Section documentation (fix #9704) | Lysxia |
| 2019-03-17 | [Manual] Improve chapter Type classes, and add mention of Context under Variable | Lysxia |
| 2019-03-14 | Documentation for SProp | Gaëtan Gilbert |
| 2019-02-28 | [sphinx] Add warn option to coqtop directive. | Théo Zimmermann |
| 2019-02-12 | Fix failing coqtops in gallina-specification-language.rst | Gaëtan Gilbert |
| 2019-01-22 | Remove unneeded | in productionlists | Jim Fehrle |
| 2018-12-19 | Fix typo in gallina specification language doc | yudetamago |
| 2018-10-16 | Document the issue with positive coinductive types. | Pierre-Marie Pédrot |
| 2018-09-28 | Small fixes in attribute documentation. | Théo Zimmermann |
| 2018-09-26 | Allow successive attributes #[foo] #[bar] | Gaëtan Gilbert |
| 2018-09-20 | Rewrite "Flags, Options and Tables" section. | Jim Fehrle |
| 2018-09-17 | Add missing index entries. | 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-12 | Tactic deprecation machinery | Maxime Dénès |
| 2018-07-03 | Describe attributes in the documentation. | Vincent Laporte |
| 2018-07-02 | Merge PR #7703: Add an option to force parameters to be uniform | Matthieu Sozeau |
| 2018-07-01 | Document option Uniform Inductive Parameters | Jasper Hugunin |
| 2018-06-30 | doc: typesetting and hyperlinks in Syntax Extensions | Lysxia |
| 2018-05-28 | Improve the last section of the Gallina chapter. | Théo Zimmermann |
| 2018-05-28 | Chapter 1 of the refman compiles without reporting any undocumented object. | Théo Zimmermann |
| 2018-05-28 | Improve sections on (Co)Fixpoint of the Gallina chapter. | Théo Zimmermann |
| 2018-05-27 | Improve subsection on co-inductive types of the Gallina chapter. | Théo Zimmermann |
| 2018-05-27 | Improve subsection on mutual inductive types of the Gallina chapter. | Théo Zimmermann |
| 2018-05-27 | Move 'new in Coq 8.1' subsection to an appropriate place. | Théo Zimmermann |
| 2018-05-27 | Document Variant properly. | Théo Zimmermann |
| 2018-05-27 | Improve inductive types subsection of the Gallina chapter. | Théo Zimmermann |
| 2018-05-26 | Improve subsection Definitions of the Gallina chapter. | Théo Zimmermann |
| 2018-05-26 | Improve subsection Assumptions of the Gallina chapter. | Théo Zimmermann |
| 2018-05-26 | Improve the section Terms of the Gallina chapter. | Théo Zimmermann |
| 2018-05-25 | [doc] Allow more than one signature and name per Sphinx object | Clément Pit-Claudel |
| 2018-05-21 | Document the new nested-proof error message. | Théo Zimmermann |
| 2018-05-17 | Document nested proofs and associated option. | Théo Zimmermann |
| 2018-05-15 | [doc] Address feedback on doc writer guide | Clément Pit-Claudel |
| 2018-05-14 | Remove duplicate entries for Proof, Qed, Defined, Admitted. | Théo Zimmermann |
| 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 | Fix error messages and make them consistent. | Théo Zimmermann |
| 2018-05-05 | [sphinx] Fix some references. | 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-04-13 | [Sphinx] Add Chapter 1 | Maxime Dénès |
| 2018-04-13 | [Sphinx] Move chapter 1 to new infrastructure | Maxime Dénès |
