coq/distrib/RELEASE, branch master The formal proof system Suppression du répertoire distrib: il fait désormais partie du projet coq-dev-tools sur GForge 2006-06-09T16:59:42+00:00 notin 2006-06-09T16:59:42+00:00 654133b47df896e4ca074502aa5dcf74f8beac30 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 2005-07-06T13:06:02+00:00 herbelin 2005-07-06T13:06:02+00:00 53b7ad69db8c2374a2eff79e3386f76939bfa0bf git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7195 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7195 85f007b7-540e-0410-9357-904b9bb8a0f7
preparation pour release (suite) 2004-03-15T17:00:28+00:00 barras 2004-03-15T17:00:28+00:00 ec8b8a5ebd913ace8bc746bdb5f93b7e6b425a8e git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5497 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5497 85f007b7-540e-0410-9357-904b9bb8a0f7
- fixed the Assert_failure error in kernel/modops 2004-02-18T18:32:33+00:00 barras 2004-02-18T18:32:33+00:00 b5df1925bbc14f441247349b200aa3f5828e8427 - fixed the problem with passing atomic tactics to ltacs - restructured the distrib Makefile (can build a package from the CVS working dir) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5358 85f007b7-540e-0410-9357-904b9bb8a0f7 
- fixed the problem with passing atomic tactics to ltacs
- restructured the distrib Makefile (can build a package from
  the CVS working dir)


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5358 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 8.0 2003-12-28T22:05:25+00:00 herbelin 2003-12-28T22:05:25+00:00 5522a818a864e789dc0f05fc0ceca52cf29f3dd8 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5158 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5158 85f007b7-540e-0410-9357-904b9bb8a0f7
numeros version 2003-12-01T15:37:42+00:00 marche 2003-12-01T15:37:42+00:00 041fb62aa1f9845c20acabc29b385ecb0f376b06 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5054 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5054 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 2002-04-10T11:50:39+00:00 herbelin 2002-04-10T11:50:39+00:00 94511d48568fc1f5e4ced9463d390d323ec248ce git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2627 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2627 85f007b7-540e-0410-9357-904b9bb8a0f7
Bugs et raffinements 2002-01-10T19:56:09+00:00 herbelin 2002-01-10T19:56:09+00:00 abdfeedd0047ea94913b328d63d23989afd886ad git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2390 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2390 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 7.2 2001-12-28T18:37:59+00:00 herbelin 2001-12-28T18:37:59+00:00 7f467f7fb09abba8e0cb2dca2c50c3adc0509c59 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2378 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2378 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 2001-12-23T13:29:02+00:00 herbelin 2001-12-23T13:29:02+00:00 0f212bd0c2b1ddfa354cd6615c60a64f6599e3d4 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2373 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2373 85f007b7-540e-0410-9357-904b9bb8a0f7