aboutsummaryrefslogtreecommitdiff
path: root/doc/tools/coqrst
AgeCommit message (Expand)Author
2018-05-16[sphinx] Bump timeout. Closes #7532.Clément Pit-Claudel
2018-05-15[doc] More feedback on doc writer guideClément Pit-Claudel
2018-05-15[doc] Search for 'coqtop' in $PATH if COQBIN is unsetClément Pit-Claudel
2018-05-15[doc] Address feedback on doc writer guideClément Pit-Claudel
2018-05-15[doc] Add a README to doc/sphinx/Clément Pit-Claudel
2018-05-15[doc] Document all directives and roles of our Sphinx domainClément Pit-Claudel
2018-05-15[doc] Compute the path to coqdoc at run time, not at load timeClément Pit-Claudel
2018-05-09[sphinx] Warn for dangling tacn / cmd / opt / ... references.Clément Pit-Claudel
2018-04-16Merge PR #7251: doc: Rename UbuntuMono-Square to CoqNotations and tweak spacingMaxime Dénès
2018-04-14[Sphinx] Fix all remaining warnings.Maxime Dénès
2018-04-14doc: Rename UbuntuMono-Square to CoqNotations and tweak spacingClément Pit-Claudel
2018-04-14[Sphinx] Add chapter 9.Théo Zimmermann
2018-04-09[Sphinx] Make it possible to espace { by %{ in custom grammarsMaxime Dénès
2018-03-16[Sphinx] Better error message for coqtop errorsMaxime Dénès
2018-03-16[Sphinx] Increase coqtop timeout to avoid spurious failures on CIMaxime Dénès
2018-03-12[Sphinx] Add a few grammar constructionsMaxime Dénès
2018-03-09Moving Gitlab CI documentation build to the main Coq build.Maxime Dénès
2018-03-09Integration of a sphinx-based documentation generator.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 07:52:23 +0000