aboutsummaryrefslogtreecommitdiff
path: root/doc/common/styles/html/simple/styles.hva
AgeCommit message (Collapse)Author
2015-02-17Separate index for vernacular options.Maxime Dénès
2014-12-09refman: switch all source files to utf8Pierre Letouzey
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.
2014-12-09doc: improved xhtml compatibility (cover, header,...)Pierre Letouzey
2011-12-07Html page titlespboutill
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14774 85f007b7-540e-0410-9357-904b9bb8a0f7
2010-06-23Ajout d'une feuille de style pour les définitions spécifiques à Hevea + ↵notin
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
2009-02-11Modification du style du manuel de référencenotin
(cherry picked from commit b44a87556b68c08b7cd2fcbdaf2b4067b8a77427) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11916 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 09:58:33 +0000