coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-11-09	Add additional escape sequences for notations	Jim Fehrle

2020-03-18	Update headers in the whole code base.	Théo Zimmermann
	Add headers to a few files which were missing them.
2020-02-16	Show apostrophes and backticks in HTML, too.	Jim Fehrle

2020-01-03	[tools] Remove support for python2	Emilio Jesus Gallego Arias
	Closes #10491 We re-add the header in doc/tools/coqrst/notations/fontsupport.py which was removed by accident in 1a9c769ed363ee2f2784e7252af72e6c1e2fbcc6 The fontsupport script itself has been kept for reference, however it is not involved by any build target as of today.
2019-12-28	Prevent apostrophes and backticks from being stylized in latex	Jim Fehrle

2019-12-19	Support additional escape sequences in notations	Jim Fehrle

2019-12-14	Make prodn look more like productionlist	Jim Fehrle

2019-06-17	Adapt change-header script to handle shebangs in addition to Emacs comments.	Théo Zimmermann
	Remove other types of lines before copyright headers.
2019-06-17	Update py-style headers to new year.	Théo Zimmermann

2019-06-17	Update c-style headers to new year.	Théo Zimmermann

2019-06-14	Add a comment documenting what fontsupport.py is.	Théo Zimmermann

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.