coq - The formal proof system

Age	Commit message (Collapse)	Author
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-19	Support additional escape sequences in notations	Jim Fehrle

2019-06-17	Update py-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.
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.