aboutsummaryrefslogtreecommitdiff
path: root/distrib/Makefile
AgeCommit message (Collapse)Author
2002-06-04'make check' echoue si au moins un test echoue.courant
Les distributions binaires ne peuvent etre faites que si 'make check' reussit. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2751 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-16ARCH passe de Makefile à config.distribherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2701 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-04-10Simplification du nom de l'architecture Mac OS Xherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2631 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-03-12*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2525 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-23paquet Debian 7.2-3courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2424 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-18*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2405 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-21paquet Debiancourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2360 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-13package Debian 7.1, correction pb compilation native sur certaines architecturescourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2292 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-11*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2288 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-27Ajout INSTALL.winherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2083 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-26tools pas fait automatiquementherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2078 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-26Compatibilite Windowsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2076 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-04-25*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1723 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1722 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25modif pour RPM et Debiancourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1715 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
2001-04-25- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.bytecourant
- Deplacement pages de tools/ vers man/ - Modif distrib/Makefile pour Debian - Modif mode emacs pour Debian git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1710 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Retire le repertoire Nummohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1691 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-19ajout du cas win32courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1631 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-19*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1612 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-01-27Suppression du retrait du répertoire doc de l'archive tar-gzip-éeherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1283 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-27Améliorationsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1230 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-22Typoherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1196 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-22MAJ V7herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1191 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-03-01 19:01:01 +0000