aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/common/styles/html/simple
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
* 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: 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
* 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
* Modification du style du manuel de référenceGravatar notin2009-02-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-05 15:22:53 +0000