aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/practical-tools
AgeCommit message (Expand)Author
2019-03-18fix documentation issues, and add entry to change logcharguer
2019-03-18polishing documentation for coqide bindings, following @Zimmi48 commentscharguer
2019-03-18final polishing for coqide bindingscharguer
2019-03-18documentation for unicode bindingscharguer
2019-02-18Sphinx: fail when a command failsGaëtan Gilbert
2019-02-12Fix failing coqtops in coqide.rstGaë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-10-11Documenting -arg in _CoqProject.Hugo Herbelin
2018-10-02[doc] Nits on utilities / toplevel building.Emilio Jesus Gallego Arias
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-09-20[doc] Fix a few LaTeX mistakesClément Pit-Claudel
2018-09-11building-a-coq-project-with-coq-makefile:fix typosJason Gross
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-02Merge PR #8143: Improved grammar and spelling in chapters 'Proof Schemes' and...Théo Zimmermann
2018-08-02Merge PR #8144: Improved grammar and spelling for chapters 'Utilities' and 'C...Théo Zimmermann
2018-08-01Improved grammar and spelling in chapters 'Proof Schemes' and 'The Coq comman...Zeimer
2018-08-01Improved grammar and spelling for chapters 'Utilities' and 'CoqIDE' of the Re...Zeimer
2018-07-30[sphinx] Use arguments of '.. example::' directive as a titleClément Pit-Claudel
2018-07-27Missing backslash in the documentation file.Martin Bodin
2018-07-08Remove Emacs modes.Théo Zimmermann
2018-06-25Archive the `gallina` toolVincent Laporte
2018-06-04Merge PR #7481: document 7025 (coq_makefile flag variables)Maxime Dénès
2018-05-16Minor update of the documentation/man about the resource file.Hugo Herbelin
2018-05-16document 7025Enrico Tassi
2018-05-05[sphinx] Fix a porting mistake.Théo Zimmermann
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-04-11[sphinx] Use macro |CoqIDE| consistently.Théo Zimmermann
2018-04-10[Sphinx] Add chapter 15Laurent Théry
2018-04-10[Sphinx] Move chapter 15 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 16Maxime Dénès
2018-03-15[Sphinx] Move chapter 16 to new infrastructureMaxime Dénès
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-12 06:21:22 +0000