coq/dev/ocamldebug-v7.template, branch master The formal proof system Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8 2004-12-23T11:59:41+00:00 herbelin 2004-12-23T11:59:41+00:00 a653f0599c850d7a21f7f70fc7bf30dae26a6a68 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6493 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6493 85f007b7-540e-0410-9357-904b9bb8a0f7
Ajout translate 2003-03-18T10:38:21+00:00 herbelin 2003-03-18T10:38:21+00:00 f6652a13326af98d14f896a5b0a7056071e297d6 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3779 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3779 85f007b7-540e-0410-9357-904b9bb8a0f7
Ajout interp 2002-11-24T22:09:38+00:00 herbelin 2002-11-24T22:09:38+00:00 f33c00c75d833540910ce40ecf373e3d4b3a8f8f git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3263 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3263 85f007b7-540e-0410-9357-904b9bb8a0f7
Ajout contribs manquantes 2002-09-13T15:22:22+00:00 herbelin 2002-09-13T15:22:22+00:00 71e33ac1aea6cff72245ea4725a70d251441a7a5 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3005 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3005 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
correction d'un bug de Correctness (pour Y Bertot) 2001-06-27T15:12:30+00:00 filliatr 2001-06-27T15:12:30+00:00 b590f4d243811f2e59e6d75b36e93ca8a957f9b5 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1812 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1812 85f007b7-540e-0410-9357-904b9bb8a0f7
Retablissement de minicoq 2001-05-29T16:59:13+00:00 coq 2001-05-29T16:59:13+00:00 23eeec04be50b3d851f148c2500f94ab9df0574f git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1773 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1773 85f007b7-540e-0410-9357-904b9bb8a0f7
modifs pour extraction; bug coqmktop 2001-03-06T07:31:29+00:00 filliatr 2001-03-06T07:31:29+00:00 2f612369c69e77ae2f1d16ef199b17ba841c02d8 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1428 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1428 85f007b7-540e-0410-9357-904b9bb8a0f7
Ajout du répertoire config utilisé par System en local 2000-12-05T18:27:07+00:00 herbelin 2000-12-05T18:27:07+00:00 9172ed3f8df4129f9288f76fcd46f2c0ac4d69f0 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1053 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1053 85f007b7-540e-0410-9357-904b9bb8a0f7
-I config 2000-11-29T15:29:24+00:00 mohring 2000-11-29T15:29:24+00:00 c17e6f15917cafdd19c77f60ed098b9c5ee106a5 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1029 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1029 85f007b7-540e-0410-9357-904b9bb8a0f7