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

Le fichier CHANGES au format html - version 7.3.1

2002-10-05T08:01:23+00:00

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