coq - The formal proof system

Age	Commit message (Collapse)	Author
2015-02-17	Separate index for vernacular options.	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: 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	doc: improved xhtml compatibility (cover, header,...)	Pierre Letouzey

2014-11-07	doc: version number in cover.html + updates in coq.inria.fr style	Pierre Letouzey

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