aboutsummaryrefslogtreecommitdiff
path: root/distrib/Makefile
AgeCommit message (Expand)Author
2002-06-04'make check' echoue si au moins un test echoue.courant
2002-05-16ARCH passe de Makefile à config.distribherbelin
2002-04-10Simplification du nom de l'architecture Mac OS Xherbelin
2002-03-12*** empty log message ***courant
2002-01-23paquet Debian 7.2-3courant
2002-01-18*** empty log message ***courant
2002-01-10Bugs et raffinementsherbelin
2001-12-28MAJ 7.2herbelin
2001-12-21paquet Debiancourant
2001-12-13package Debian 7.1, correction pb compilation native sur certaines architecturescourant
2001-12-11*** empty log message ***courant
2001-09-27Ajout INSTALL.winherbelin
2001-09-26tools pas fait automatiquementherbelin
2001-09-26Compatibilite Windowsherbelin
2001-09-26MAJ contribherbelin
2001-09-25MAJ V7.1herbelin
2001-04-25*** empty log message ***courant
2001-04-25*** empty log message ***courant
2001-04-25modif pour RPM et Debiancourant
2001-04-25modif rpmcourant
2001-04-25- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.bytecourant
2001-04-24Retire le repertoire Nummohring
2001-04-19ajout du cas win32courant
2001-04-19*** empty log message ***courant
2001-01-27Suppression du retrait du répertoire doc de l'archive tar-gzip-éeherbelin
2000-12-27Améliorationsherbelin
2000-12-22Typoherbelin
2000-12-22MAJ V7herbelin
2000-12-22Pour créer les archives distribuéesherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 01:59:25 +0000