coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Put newlines at the end of files.	Gaëtan Gilbert	2017-10-25
\|
*	Fix copyright info in reference manual.	Théo Zimmermann	2017-10-06
\| \| \| \|	Also simplifies the way it is presented (no need to be overly precise).
*	Port ssr manual to Coq's latex/hevea style	Enrico Tassi	2017-08-02
\| \| \| \|	Work done by Assia Mahboubi and Enrico Tassi
*	Makefile.doc: implement serve-refman-8080 target	Enrico Tassi	2017-08-02
\| \| \| \| \| \|	We make it so that, by default, the HTML reference manual looks like the one published online (same .css) and we provide a target to serve it locally (requires python).
*	Update copyright on documentation cover.	Maxime Dénès	2016-11-30
\|
*	Update copyright headers.	Maxime Dénès	2016-01-20
\|
*	Separate index for vernacular options.	Maxime Dénès	2015-02-17
\|
*	Refresh some copyright headers.	Maxime Dénès	2015-01-13
\|
*	refman: switch all source files to utf8	Pierre Letouzey	2014-12-09
\| \| \| \| \| \|	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.
*	refman: remove ?uri=referer in urls pointing to validator.w3.org	Pierre Letouzey	2014-12-09
\| \| \| \| \| \| \| \| \| \| \|	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.
*	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
\|
*	doc: version number in cover.html + updates in coq.inria.fr style	Pierre Letouzey	2014-12-09
\| \| \| \|	To be continued someday, those style files are full of redundancies...
*	Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la ↵	notin	2014-12-09
\| \| \| \|	documentation en ligne)
*	Port to trunk the old commit r14895 of v8.4 (styles for the stdlib ↵	notin	2014-12-09
\| \| \| \| \| \|	documentation) This commit r14895 comes apparently itself from commit r12010 in branch v8.2
*	doc: version number in cover.html + updates in coq.inria.fr style	Pierre Letouzey	2014-11-07
\|
*	Version number, copyright, credits: missing updates.	herbelin	2011-12-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14862 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Html page titles	pboutill	2011-12-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14774 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout d'une feuille de style pour les définitions spécifiques à Hevea + ↵	notin	2010-06-23
\| \| \| \| \| \|	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
*	Mise à jour des liens au site Coq (suite à la MAJ de la redirection DNS de ↵	notin	2010-06-23
\| \| \| \| \| \|	coq.inria.fr) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13185 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Modification du style du manuel de référence	notin	2009-02-11
	(cherry picked from commit b44a87556b68c08b7cd2fcbdaf2b4067b8a77427) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11916 85f007b7-540e-0410-9357-904b9bb8a0f7