index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
sphinx
/
_static
Age
Commit message (
Expand
)
Author
2021-02-14
Show "Error:"/"Warning:" with white type (on red/orange background)
Jim Fehrle
2020-12-02
Split long lines in errors and warning index
Jim Fehrle
2020-10-19
Add style for smallcaps.
Théo Zimmermann
2020-10-12
Merge PR #12874: Add a "Show Proof Diffs" message to the XML protocol
coqbot-app[bot]
2020-10-09
Add an XML message for "Show Proof Diffs"
Jim Fehrle
2020-07-08
Add tags in prodn indicating productions that are from plugins,
Jim Fehrle
2020-04-29
Support in-line glossary entries and references
Jim Fehrle
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2019-12-25
Show doc notations in boldface
Jim Fehrle
2019-12-14
Make prodn look more like productionlist
Jim Fehrle
2019-06-17
Update c-style headers to new year.
Théo Zimmermann
2019-05-16
[refman] Introduce syntax for alternatives in notations
Clément Pit-Claudel
2019-02-28
Show diffs in error messages if color is enabled
Jim Fehrle
2018-12-03
[sphinx] Same rendering for :n:`@token` and :token:`token`.
Théo Zimmermann
2018-09-23
Documentation for proof diffs
Jim Fehrle
2018-04-14
doc: Rename UbuntuMono-Square to CoqNotations and tweak spacing
Clément Pit-Claudel
2018-03-15
[Sphinx] Add chapter 16
Maxime Dénès
2018-03-13
[Sphinx] Remove ad-hoc color for links interfering with TOC
Maxime Dénès
2018-03-09
Integration of a sphinx-based documentation generator.
Maxime Dénès
