coq/distrib/MacOS-X/package, 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
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