coq - The formal proof system

Age	Commit message (Collapse)	Author
2021-04-17	Include (* ... *) comments in .. coqtop:: directives in Sphinx output	Jim Fehrle

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
	Co-authored-by: Clément Pit-Claudel <clement.pitclaudel@live.com>
2020-10-12	Merge PR #12874: Add a "Show Proof Diffs" message to the XML protocol	coqbot-app[bot]
	Reviewed-by: herbelin Ack-by: gares Ack-by: ejgallego
2020-10-09	Add an XML message for "Show Proof Diffs"	Jim Fehrle
	Add menu item that uses this
2020-07-08	Add tags in prodn indicating productions that are from plugins,	Jim Fehrle
	filtered-only show Ltac2 tags outside of ltac2.rst
2020-04-29	Support in-line glossary entries and references	Jim Fehrle
	with an index
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
	Add headers to a few files which were missing them.
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
	Closes GH-8482.
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
	Co-authored-by: Clément Pit-Claudel <clement.pitclaudel@live.com>
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
	The Ubuntu Font License requires substantially modified fonts to be renamed entirely.
2018-03-15	[Sphinx] Add chapter 16	Maxime Dénès
	Thanks to Paul Steckler for porting this chapter.
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
	The original contribution is from Clément Pit-Claudel. I updated his code and integrated it with the Coq build system. Many improvements by Paul Steckler (MIT). This commit adds the infrastructure but no content.