coq/distrib/check-list, 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

camlp4 maintenant intégré à ocaml

2004-07-17T19:28:00+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5946 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

preparation pour release (suite)

2004-03-15T17:00:28+00:00

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

- 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

2004-01-06T14:09:13+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5177 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

Nouvel emplacement pour coq.spec

2001-09-25T10:51:36+00:00

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

MAJ V7

2000-12-22T09:28:44+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1191 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