aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib/Makefile
Commit message (Expand)AuthorAge
* 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
* *** empty log message ***Gravatar courant2001-04-19
* Suppression du retrait du répertoire doc de l'archive tar-gzip-éeGravatar herbelin2001-01-27
* AméliorationsGravatar herbelin2000-12-27
* TypoGravatar herbelin2000-12-22
* MAJ V7Gravatar herbelin2000-12-22
* Pour créer les archives distribuéesGravatar herbelin2000-12-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-01 19:42:39 +0000