coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-06-17	Update copyright years outside of headers.	Théo Zimmermann
	These were found with the following command: $ git grep "1999-" \| grep -v "2019"
2017-10-25	Put newlines at the end of files.	Gaëtan Gilbert

2017-10-06	Fix copyright info in reference manual.	Théo Zimmermann
	Also simplifies the way it is presented (no need to be overly precise).
2016-11-30	Update copyright on documentation cover.	Maxime Dénès

2016-01-20	Update copyright headers.	Maxime Dénès

2015-02-17	Separate index for vernacular options.	Maxime Dénès

2015-01-13	Refresh some copyright headers.	Maxime Dénès

2014-12-09	refman: switch all source files to utf8	Pierre Letouzey
	Putting utf8 everywhere helps the maintainance of the online refman. And anyway, this is the way to go. We should also chase and migrate the few remaining iso-latin-1 files elsewhere in the sources.
2014-12-09	refman: xhtml validity of the cover page	Pierre Letouzey

2014-12-09	doc: improved xhtml compatibility (cover, header,...)	Pierre Letouzey

2014-12-09	doc/stdlib: fix the html charset in header.html and co	Pierre Letouzey

2014-12-09	Port to trunk the old commit r14895 of v8.4 (styles for the stdlib ↵	notin
	documentation) This commit r14895 comes apparently itself from commit r12010 in branch v8.2
2014-11-07	doc: version number in cover.html + updates in coq.inria.fr style	Pierre Letouzey

2011-12-25	Version number, copyright, credits: missing updates.	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14862 85f007b7-540e-0410-9357-904b9bb8a0f7
2011-12-07	Html page titles	pboutill
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14774 85f007b7-540e-0410-9357-904b9bb8a0f7
2010-06-23	Ajout d'une feuille de style pour les définitions spécifiques à Hevea + ↵	notin
	divers corrections sur la génération du manuel de référence. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13186 85f007b7-540e-0410-9357-904b9bb8a0f7
2009-02-11	Modification du style du manuel de référence	notin
	(cherry picked from commit b44a87556b68c08b7cd2fcbdaf2b4067b8a77427) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11916 85f007b7-540e-0410-9357-904b9bb8a0f7