aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/common/styles/html
Commit message (Expand)AuthorAge
* Put newlines at the end of files.Gravatar Gaëtan Gilbert2017-10-25
* Fix copyright info in reference manual.Gravatar Théo Zimmermann2017-10-06
* Port ssr manual to Coq's latex/hevea styleGravatar Enrico Tassi2017-08-02
* Makefile.doc: implement serve-refman-8080 targetGravatar Enrico Tassi2017-08-02
* Update copyright on documentation cover.Gravatar Maxime Dénès2016-11-30
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Separate index for vernacular options.Gravatar Maxime Dénès2015-02-17
* Refresh some copyright headers.Gravatar Maxime Dénès2015-01-13
* refman: switch all source files to utf8Gravatar Pierre Letouzey2014-12-09
* refman: remove ?uri=referer in urls pointing to validator.w3.orgGravatar Pierre Letouzey2014-12-09
* refman: xhtml validity of the cover pageGravatar Pierre Letouzey2014-12-09
* doc: improved xhtml compatibility (cover, header,...)Gravatar Pierre Letouzey2014-12-09
* doc/stdlib: fix the html charset in header.html and coGravatar Pierre Letouzey2014-12-09
* doc: version number in cover.html + updates in coq.inria.fr styleGravatar Pierre Letouzey2014-12-09
* Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...Gravatar notin2014-12-09
* Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...Gravatar notin2014-12-09
* doc: version number in cover.html + updates in coq.inria.fr styleGravatar Pierre Letouzey2014-11-07
* Version number, copyright, credits: missing updates.Gravatar herbelin2011-12-25
* Html page titlesGravatar pboutill2011-12-07
* Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di...Gravatar notin2010-06-23
* Mise à jour des liens au site Coq (suite à la MAJ de la redirection DNS de ...Gravatar notin2010-06-23
* Modification du style du manuel de référenceGravatar notin2009-02-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-24 03:23:15 +0000