coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-05-16	[refman] Introduce syntax for alternatives in notations	Clément Pit-Claudel
	Closes GH-8482.
2019-05-12	[refman] Raise an error when a notation doesn't parse	Clément Pit-Claudel

2018-04-16	Merge PR #7251: doc: Rename UbuntuMono-Square to CoqNotations and tweak spacing	Maxime Dénès

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-04-14	[Sphinx] Add chapter 9.	Théo Zimmermann
	Chapter ported by Théo Zimmermann and Maxime Dénès.
2018-04-09	[Sphinx] Make it possible to espace { by %{ in custom grammars	Maxime Dénès

2018-03-12	[Sphinx] Add a few grammar constructions	Maxime Dénès
	Code from Paul Steckler (MIT).
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.