coq/.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
*** empty log message *** 2003-03-14T11:05:13+00:00 barras 2003-03-14T11:05:13+00:00 a7c6877a572c69da81d96fc29e0c212a81b6bf10 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3771 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3771 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
option -dump-glob pour coqdoc 2002-02-14T14:39:07+00:00 filliatr 2002-02-14T14:39:07+00:00 67f72c93f5f364591224a86c52727867e02a8f71 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2474 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2474 85f007b7-540e-0410-9357-904b9bb8a0f7
mise en place des outils 1999-12-11T18:43:48+00:00 filliatr 1999-12-11T18:43:48+00:00 14be4137a9cb423bc65d1547d153bba19d419861 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@236 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@236 85f007b7-540e-0410-9357-904b9bb8a0f7
mise en place repertoire test-suite/, toplevel/, parsing/ 1999-09-06T15:15:38+00:00 filliatr 1999-09-06T15:15:38+00:00 16468065acddd4b37bf22f221e6eff604b1c381d git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@39 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@39 85f007b7-540e-0410-9357-904b9bb8a0f7
le noyau compile et link 1999-08-26T09:59:36+00:00 filliatr 1999-08-26T09:59:36+00:00 844624640d335bd49bc187a135548734ea353e37 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@26 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@26 85f007b7-540e-0410-9357-904b9bb8a0f7