aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/tools
Commit message (Expand)AuthorAge
* Merge PR #7251: doc: Rename UbuntuMono-Square to CoqNotations and tweak spacingGravatar Maxime Dénès2018-04-16
|\
* | [Sphinx] Fix all remaining warnings.Gravatar Maxime Dénès2018-04-14
| * doc: Rename UbuntuMono-Square to CoqNotations and tweak spacingGravatar Clément Pit-Claudel2018-04-14
* | [Sphinx] Add chapter 9.Gravatar Théo Zimmermann2018-04-14
* | [Sphinx] Make it possible to espace { by %{ in custom grammarsGravatar Maxime Dénès2018-04-09
|/
* [Sphinx] Better error message for coqtop errorsGravatar Maxime Dénès2018-03-16
* [Sphinx] Increase coqtop timeout to avoid spurious failures on CIGravatar Maxime Dénès2018-03-16
* [Sphinx] Add a few grammar constructionsGravatar Maxime Dénès2018-03-12
* Moving Gitlab CI documentation build to the main Coq build.Gravatar Maxime Dénès2018-03-09
* Integration of a sphinx-based documentation generator.Gravatar Maxime Dénès2018-03-09
* [flags] Remove XML output flag.Gravatar Emilio Jesus Gallego Arias2017-08-01
* Fix some typos.Gravatar Guillaume Melquiond2015-10-13
* "allows to", like "allowing to", is improperGravatar Jason Gross2014-08-25
* Hopefully a fix for #2176 (redirection not understood with some shells)Gravatar herbelin2010-09-19
* Fixed bug 2030 (bad syntax for "test" in doc compilation) [see 11824Gravatar herbelin2009-01-21
* Propriétés svn pour les filtres latexGravatar notin2009-01-19
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 22:30:51 +0000