coq - The formal proof system

Age	Commit message (Expand)	Author
2020-04-20	Remove coqremote stylesheets which were useless since the Sphinx migration.	Théo Zimmermann
2019-06-17	Update copyright years outside of headers.	Théo Zimmermann
2019-05-21	Fixing typos - Part 1	JPR
2019-02-21	Stdlib HTML documentation: fix a few absolute URLs	Vincent Laporte
2017-10-06	Fix copyright info in reference manual.	Théo Zimmermann
2017-08-02	Port ssr manual to Coq's latex/hevea style	Enrico Tassi
2017-08-02	Makefile.doc: implement serve-refman-8080 target	Enrico Tassi
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
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-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
2011-12-07	Html page titles	pboutill
2010-06-23	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
2009-02-11	Modification du style du manuel de référence	notin