aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib/Makefile
Commit message (Expand)AuthorAge
* 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-07-06 03:02:47 +0000