coq/doc/refman/cover.html, branch master

Modification du style du manuel de référence

2009-02-11T14:39:11+00:00

(cherry picked from commit b44a87556b68c08b7cd2fcbdaf2b4067b8a77427)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11916 85f007b7-540e-0410-9357-904b9bb8a0f7

Updated dates

2009-01-13T21:50:05+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11782 85f007b7-540e-0410-9357-904b9bb8a0f7

report de la révision r11451 (nouveau style html pour le manuel de référence)

2008-10-14T17:54:15+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11452 85f007b7-540e-0410-9357-904b9bb8a0f7

Numéros de version dans la doc

2008-06-13T14:19:27+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11123 85f007b7-540e-0410-9357-904b9bb8a0f7

Changement du index.html généré dans refman

2006-06-13T14:22:19+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8953 85f007b7-540e-0410-9357-904b9bb8a0f7

Mise à jour des Makefile, ajout licences, corrections mineures suite à

2006-02-23T14:21:14+00:00

restructuration du répertoire de documentation


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8607 85f007b7-540e-0410-9357-904b9bb8a0f7

Nettoyage de l'archive doc et restructuration avant intégration à l'archive

2006-02-23T13:58:10+00:00

principale de Coq et publication des sources (HH)


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8606 85f007b7-540e-0410-9357-904b9bb8a0f7