aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/practical-tools/coq-commands.rst
AgeCommit message (Expand)Author
2019-04-16Command-line setters for optionsGaëtan Gilbert
2019-02-18Sphinx: fail when a command failsGaëtan Gilbert
2019-01-30[toplevel] Deprecate the `-compile` flag in favor of `coqc`.Emilio Jesus Gallego Arias
2018-12-04Document undocumented flags and optionsJim Fehrle
2018-09-23Documentation for proof diffsJim Fehrle
2018-09-20[doc] Include the rst and LaTeX preambles automatically in all filesClément Pit-Claudel
2018-08-31Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...Zeimer
2018-08-28Merge PR #8281: Trivial Sphinx fix in doc.Clément Pit-Claudel
2018-08-22Fix #8251: remove "the the" occurrencesGaëtan Gilbert
2018-08-21Trivial Sphinx fix in doc.Théo Zimmermann
2018-08-01Improved grammar and spelling in chapters 'Proof Schemes' and 'The Coq comman...Zeimer
2018-05-16Minor update of the documentation/man about the resource file.Hugo Herbelin
2018-05-05[sphinx] Fix a typo that appeared during the migration.Théo Zimmermann
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 14Maxime Dénès
2018-03-15[Sphinx] Move chapter 14 to new infrastructureMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 13:55:07 +0000