coq/dev/doc/header, branch master The formal proof system Chgts mineurs: 2008-04-03T14:09:56+00:00 herbelin 2008-04-03T14:09:56+00:00 ff94dcd516111978dfd7b782cbda2d9eae837a60 - correction commit incorrect d'une modif de test-suite/success/apply.v - réorganisation dev/ - renommage Print Modules en Print Libraries - $Id:$ dans g_vernac.ml4 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10744 85f007b7-540e-0410-9357-904b9bb8a0f7 
- correction commit incorrect d'une modif de test-suite/success/apply.v
- réorganisation dev/
- renommage Print Modules en Print Libraries
- $Id:$ dans g_vernac.ml4


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10744 85f007b7-540e-0410-9357-904b9bb8a0f7
Restructuration dossier dev et mise à jour de certaines documentations 2006-05-23T21:51:59+00:00 herbelin 2006-05-23T21:51:59+00:00 e24d8149c3aefd11b03458b6f9b3e38ca454b07a git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7