aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib
Commit message (Expand)AuthorAge
* 'make check' echoue si au moins un test echoue.Gravatar courant2002-06-04
* ARCH passe de Makefile à config.distribGravatar herbelin2002-05-16
* MAJ V7.3Gravatar herbelin2002-05-15
* Simplification du nom de l'architecture Mac OS XGravatar herbelin2002-04-10
* MAJGravatar herbelin2002-04-10
* *** empty log message ***Gravatar courant2002-03-12
* paquet Debian 7.2-3Gravatar courant2002-01-23
* mise a jourGravatar filliatr2002-01-21
* *** empty log message ***Gravatar courant2002-01-18
* Bugs et raffinementsGravatar herbelin2002-01-10
* MAJ 7.2Gravatar herbelin2001-12-28
* MAJGravatar herbelin2001-12-23
* *** empty log message ***Gravatar courant2001-12-21
* comment faire le .debGravatar courant2001-12-21
* preparation V7.2Gravatar courant2001-12-21
* paquet DebianGravatar courant2001-12-21
* MAJ 7.2Gravatar herbelin2001-12-19
* package Debian 7.1, correction pb compilation native sur certaines architecturesGravatar courant2001-12-13
* *** empty log message ***Gravatar courant2001-12-11
* MAJ docGravatar herbelin2001-10-03
* Ajout INSTALL.winGravatar herbelin2001-09-27
* tools pas fait automatiquementGravatar herbelin2001-09-26
* Compatibilite WindowsGravatar herbelin2001-09-26
* MAJ contribGravatar herbelin2001-09-26
* Nouvel emplacement pour coq.specGravatar herbelin2001-09-25
* MAJ V7.1Gravatar herbelin2001-09-25
* MAJ V7.1Gravatar herbelin2001-09-20
* MAJ V7.1Gravatar herbelin2001-09-20
* Nouveau coq.spec avec les droits de rootGravatar herbelin2001-09-04
* ajout pour le cdromGravatar mayero2001-04-25
* *** empty log message ***Gravatar courant2001-04-25
* *** empty log message ***Gravatar courant2001-04-25
* *** empty log message ***Gravatar courant2001-04-25
* make -j world -> make world en raison de bug ocamlc/ocamloptGravatar courant2001-04-25
* man pages for coq-interface and parserGravatar courant2001-04-25
* Ajout pages de man coq_makefile et coqmktopGravatar 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 necessaire pour paquet debianGravatar courant2001-04-24
* adding binary files that are needed for the graphical user-interface pcoqGravatar bertot2001-04-24
* ajout du cas win32Gravatar courant2001-04-19
* *** empty log message ***Gravatar courant2001-04-19
* Mise a jour de la config pour distribGravatar mohring2001-04-10
* Nouvelle betaGravatar herbelin2001-02-02
* 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
* cleanallGravatar herbelin2000-12-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 23:09:10 +0000