coq/distrib/Makefile, 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
windows install 2005-11-10T14:39:34+00:00 narboux 2005-11-10T14:39:34+00:00 df6b8d56b393af8c2193402b8093f51962fd226d git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7552 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7552 85f007b7-540e-0410-9357-904b9bb8a0f7
typo 2005-11-09T12:01:02+00:00 narboux 2005-11-09T12:01:02+00:00 e64ebfbed53238d71e161c7ee5e605c603a8fca3 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7548 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7548 85f007b7-540e-0410-9357-904b9bb8a0f7
ajout installer windows 2005-11-09T11:56:16+00:00 narboux 2005-11-09T11:56:16+00:00 de535cc498e4e543ea9fc67d837bae891f645ec7 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7547 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7547 85f007b7-540e-0410-9357-904b9bb8a0f7
rename INSTALL.win INSTALL.txt to ease opening 2005-07-25T09:50:21+00:00 narboux 2005-07-25T09:50:21+00:00 abf8b28ef39454d7c1bc6889a06d21fc4c6fb6f2 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7259 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7259 85f007b7-540e-0410-9357-904b9bb8a0f7
the package script disappeared in MacOS 10.3: we locally copy the 10.2 version 2005-03-06T21:28:06+00:00 herbelin 2005-03-06T21:28:06+00:00 7a92aab26d56381ac6290fc754efb996db9b0d38 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6799 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6799 85f007b7-540e-0410-9357-904b9bb8a0f7
Unbind the macosx dmg after creation to be able to build it again safely 2004-07-30T09:44:36+00:00 herbelin 2004-07-30T09:44:36+00:00 0028ef73e4aa18568a1a9e79a80043148d2c6123 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5997 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5997 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ cible patch 2004-07-29T15:17:39+00:00 herbelin 2004-07-29T15:17:39+00:00 d5f0daf4702676bd9c0961f86e14ad3e4682f9bc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5991 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5991 85f007b7-540e-0410-9357-904b9bb8a0f7
MacOS X dans /usr/local 2004-06-02T15:12:16+00:00 herbelin 2004-06-02T15:12:16+00:00 20097b592404c4ef732d45128fff92a594ed45cf git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5790 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5790 85f007b7-540e-0410-9357-904b9bb8a0f7
test de conversion laissait echapper exception NotConvertible 2004-05-14T15:43:01+00:00 barras 2004-05-14T15:43:01+00:00 fbdbbd2cea72f5f2d9d677ca466ceed63d969e33 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5746 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5746 85f007b7-540e-0410-9357-904b9bb8a0f7