aboutsummaryrefslogtreecommitdiff
path: root/distrib/RELEASE
AgeCommit message (Collapse)Author
2006-06-09Suppression du répertoire distrib: il fait désormais partie du projet ↵notin
coq-dev-tools sur GForge git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-06MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7195 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-03-15preparation pour release (suite)barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5497 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-02-18- fixed the Assert_failure error in kernel/modopsbarras
- 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
2003-12-28MAJ 8.0herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5158 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-01numeros versionmarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5054 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-04-10MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2627 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-10Bugs et raffinementsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2390 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-28MAJ 7.2herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2378 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-23MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2373 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21comment faire le .debcourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2362 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-03MAJ docherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2097 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-26MAJ contribherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2075 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-25MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2064 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2034 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25ajout pour le cdrommayero
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1726 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1721 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25modif rpmcourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1713 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-22Pour créer les archives distribuéesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1189 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 23:33:26 +0000