coq/dev/.cvsignore, branch master The formal proof system Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des 'properties' de Subversion 2006-04-28T10:34:25+00:00 notin 2006-04-28T10:34:25+00:00 11aaf97fa5f773c8a81d12255414cd3f5d189d25 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8758 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8758 85f007b7-540e-0410-9357-904b9bb8a0f7
Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8) 2004-12-23T12:00:45+00:00 herbelin 2004-12-23T12:00:45+00:00 91c0f3e4d91ac285fe23ac80a5d24e5e42c36da9 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6494 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6494 85f007b7-540e-0410-9357-904b9bb8a0f7
Modules dans COQ\!\!\!\! 2002-08-02T17:17:42+00:00 coq 2002-08-02T17:17:42+00:00 12965209478bd99dfbe57f07d5b525e51b903f22 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2957 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2957 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 2000-11-24T21:19:25+00:00 herbelin 2000-11-24T21:19:25+00:00 27c5ae44f84ce7d23a1c92a382d382c505464573 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@954 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@954 85f007b7-540e-0410-9357-904b9bb8a0f7