aboutsummaryrefslogtreecommitdiff
path: root/distrib/Makefile
AgeCommit message (Expand)Author
2006-06-09Suppression du répertoire distrib: il fait désormais partie du projet coq-d...notin
2005-11-10windows installnarboux
2005-11-09typonarboux
2005-11-09ajout installer windowsnarboux
2005-07-25rename INSTALL.win INSTALL.txt to ease openingnarboux
2005-03-06the package script disappeared in MacOS 10.3: we locally copy the 10.2 versionherbelin
2004-07-30Unbind the macosx dmg after creation to be able to build it again safelyherbelin
2004-07-29MAJ cible patchherbelin
2004-06-02MacOS X dans /usr/localherbelin
2004-05-14test de conversion laissait echapper exception NotConvertiblebarras
2004-04-30Dépendance en $(RPMTOPDIR)herbelin
2004-04-21*** empty log message ***barras
2004-04-20amelioration des specs RPMbarras
2004-04-16Typoherbelin
2004-03-24*** empty log message ***barras
2004-03-18MAJ macosxherbelin
2004-03-16install de pcoq incorrect + spec rpmbarras
2004-02-18- fixed the Assert_failure error in kernel/modopsbarras
2004-01-27meilleure separation de compil et install de coq, coqide et coq-interfacebarras
2004-01-08Finalisation du mecanisme de creation du rpm coqideherbelin
2004-01-06Version 1 pour coqideherbelin
2004-01-06MAJ rpmherbelin
2003-12-28MAJ 8.0herbelin
2003-06-27*** empty log message ***courant
2003-02-05Automatisation de la création de l'image avec le package MacOS-Xherbelin
2003-02-04MAJ Windowsherbelin
2002-11-10more cleaningherbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 17:30:13 +0000