coq/distrib/configure.distrib, branch master

Suppression du répertoire distrib: il fait désormais partie du projet coq-dev-tools sur GForge

2006-06-09T16:59:42+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7

sed ne connait pas '+' sur macosx

2005-01-25T12:28:39+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6636 85f007b7-540e-0410-9357-904b9bb8a0f7

preparation a la release 8.0

2004-04-07T15:42:30+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5655 85f007b7-540e-0410-9357-904b9bb8a0f7

- fixed the Assert_failure error in kernel/modops

2004-02-18T18:32:33+00:00

- 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

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5158 85f007b7-540e-0410-9357-904b9bb8a0f7

ARCH passe de Makefile à config.distrib

2002-05-16T12:14:13+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2701 85f007b7-540e-0410-9357-904b9bb8a0f7

MAJ V7.1

2001-09-25T07:37:52+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2064 85f007b7-540e-0410-9357-904b9bb8a0f7

Pour créer les archives distribuées

2000-12-22T09:15:55+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1189 85f007b7-540e-0410-9357-904b9bb8a0f7