aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/practical-tools
AgeCommit message (Expand)Author
2019-11-01Implementing support for vos/vok files.charguer
2019-10-22documentation fixesAntonio Nikishaev
2019-10-13Doc update with mlg extension - fix #10855mcaci
2019-09-10Refman: To be compatible gtk2/gtk3, not mentioning GTK+ version explicitely.Hugo Herbelin
2019-09-10Fixing coqide doc about location of "coqiderc" and "coqide.bindings".Hugo Herbelin
2019-08-24[dune] Migrate static Dune files to Dune 1.10Emilio Jesus Gallego Arias
2019-07-26Remove the tactic wizard, as it has not worked for several years and no one c...Guillaume Melquiond
2019-06-08Mini fix documentation coqtop in passing.Hugo Herbelin
2019-06-08Documenting new options -require-import, -require-export, etc.Hugo Herbelin
2019-05-11Merge PR #10006: NanoPG: a general fix + fixing Meta-based bindings on MacOS ...Pierre-Marie Pédrot
2019-05-07Added "Recursively" for the R optionRobert Rand
2019-05-07Added description of QRobert Rand
2019-04-30Split changes between main changes and other changes (no repetition).Théo Zimmermann
2019-04-30CoqIDE: updating documentation of the Preference windows.Hugo Herbelin
2019-04-24[coq_makefile] Enforce warn_error for plugins.Emilio Jesus Gallego Arias
2019-04-16Command-line setters for optionsGaëtan Gilbert
2019-04-01[doc] Add a note about Dune support to the manual.Emilio Jesus Gallego Arias
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:20:32 +0000