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-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: remove ?uri=referer in urls pointing to validator.w3.org	Pierre Letouzey
	Unfortunately, these ?uri=referer parameters do not work correctly now that coq.inria.fr forces the switch to https before answering any document. See: http://validator.w3.org/docs/help.html#faq-referer I currently see no workaround for that, apart from generating links like ?uri=http://the.real.url/of/my/page, which would be quite painful. For now, users interested in checking the validity of our pages will have to copy-paste the url they want to check after clicking on the validator button.
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-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
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
2010-06-23	Mise à jour des liens au site Coq (suite à la MAJ de la redirection DNS de ↵	notin
	coq.inria.fr) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13185 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