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.
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-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-14	Add a comment documenting what fontsupport.py is.	Théo Zimmermann

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-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.