aboutsummaryrefslogtreecommitdiff
path: root/doc/tools/coqrst/notations
AgeCommit message (Expand)Author
2020-11-09Add additional escape sequences for notationsJim Fehrle
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-02-16Show apostrophes and backticks in HTML, too.Jim Fehrle
2020-01-03[tools] Remove support for python2Emilio Jesus Gallego Arias
2019-12-28Prevent apostrophes and backticks from being stylized in latexJim Fehrle
2019-12-19Support additional escape sequences in notationsJim Fehrle
2019-12-14Make prodn look more like productionlistJim Fehrle
2019-06-17Adapt change-header script to handle shebangs in addition to Emacs comments.Théo Zimmermann
2019-06-17Update py-style headers to new year.Théo Zimmermann
2019-06-17Update c-style headers to new year.Théo Zimmermann
2019-06-14Add a comment documenting what fontsupport.py is.Théo Zimmermann
2019-05-16[refman] Introduce syntax for alternatives in notationsClément Pit-Claudel
2019-05-12[refman] Raise an error when a notation doesn't parseClément Pit-Claudel
2018-04-16Merge PR #7251: doc: Rename UbuntuMono-Square to CoqNotations and tweak spacingMaxime 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-12[Sphinx] Add a few grammar constructionsMaxime 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-01-31 16:15:11 +0000