coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	refman: remove ?uri=referer in urls pointing to validator.w3.org	Pierre Letouzey	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
*	doc: version number in cover.html + updates in coq.inria.fr style	Pierre Letouzey	2014-12-09
*	Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...	notin	2014-12-09
*	Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...	notin	2014-12-09
*	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
*	Html page titles	pboutill	2011-12-07
*	Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di...	notin	2010-06-23
*	Mise à jour des liens au site Coq (suite à la MAJ de la redirection DNS de ...	notin	2010-06-23
*	Modification du style du manuel de référence	notin	2009-02-11