aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib/Makefile
Commit message (Expand)AuthorAge
* Suppression du répertoire distrib: il fait désormais partie du projet coq-d...Gravatar notin2006-06-09
* windows installGravatar narboux2005-11-10
* typoGravatar narboux2005-11-09
* ajout installer windowsGravatar narboux2005-11-09
* rename INSTALL.win INSTALL.txt to ease openingGravatar narboux2005-07-25
* the package script disappeared in MacOS 10.3: we locally copy the 10.2 versionGravatar herbelin2005-03-06
* Unbind the macosx dmg after creation to be able to build it again safelyGravatar herbelin2004-07-30
* MAJ cible patchGravatar herbelin2004-07-29
* MacOS X dans /usr/localGravatar herbelin2004-06-02
* test de conversion laissait echapper exception NotConvertibleGravatar barras2004-05-14
* Dépendance en $(RPMTOPDIR)Gravatar herbelin2004-04-30
* *** empty log message ***Gravatar barras2004-04-21
* amelioration des specs RPMGravatar barras2004-04-20
* TypoGravatar herbelin2004-04-16
* *** empty log message ***Gravatar barras2004-03-24
* MAJ macosxGravatar herbelin2004-03-18
* install de pcoq incorrect + spec rpmGravatar barras2004-03-16
* - fixed the Assert_failure error in kernel/modopsGravatar barras2004-02-18
* meilleure separation de compil et install de coq, coqide et coq-interfaceGravatar barras2004-01-27
* Finalisation du mecanisme de creation du rpm coqideGravatar herbelin2004-01-08
* Version 1 pour coqideGravatar herbelin2004-01-06
* MAJ rpmGravatar herbelin2004-01-06
* MAJ 8.0Gravatar herbelin2003-12-28
* *** empty log message ***Gravatar courant2003-06-27
* Automatisation de la création de l'image avec le package MacOS-XGravatar herbelin2003-02-05
* MAJ WindowsGravatar herbelin2003-02-04
* more cleaningGravatar herbelin2002-11-10
* 'make check' echoue si au moins un test echoue.Gravatar courant2002-06-04
* ARCH passe de Makefile à config.distribGravatar herbelin2002-05-16
* Simplification du nom de l'architecture Mac OS XGravatar herbelin2002-04-10
* *** empty log message ***Gravatar courant2002-03-12
* paquet Debian 7.2-3Gravatar courant2002-01-23
* *** empty log message ***Gravatar courant2002-01-18
* Bugs et raffinementsGravatar herbelin2002-01-10
* MAJ 7.2Gravatar herbelin2001-12-28
* paquet DebianGravatar courant2001-12-21
* package Debian 7.1, correction pb compilation native sur certaines architecturesGravatar courant2001-12-13
* *** empty log message ***Gravatar courant2001-12-11
* Ajout INSTALL.winGravatar herbelin2001-09-27
* tools pas fait automatiquementGravatar herbelin2001-09-26
* Compatibilite WindowsGravatar herbelin2001-09-26
* MAJ contribGravatar herbelin2001-09-26
* MAJ V7.1Gravatar herbelin2001-09-25
* *** empty log message ***Gravatar courant2001-04-25
* *** empty log message ***Gravatar courant2001-04-25
* modif pour RPM et DebianGravatar courant2001-04-25
* modif rpmGravatar courant2001-04-25
* - Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byteGravatar courant2001-04-25
* Retire le repertoire NumGravatar mohring2001-04-24
* ajout du cas win32Gravatar courant2001-04-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 07:52:57 +0000