aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib
Commit message (Expand)AuthorAge
* aide contextuelle / menus compilation + print + exportGravatar filliatr2003-02-24
* Automatisation de la création de l'image avec le package MacOS-XGravatar herbelin2003-02-05
* MAJ WindowsGravatar herbelin2003-02-04
* -reals allGravatar filliatr2003-02-03
* release 7.4; changement magic numberGravatar filliatr2003-02-03
* preparation pkg deb for 7.4Gravatar courant2003-01-31
* more cleaningGravatar herbelin2002-11-10
* *** empty log message ***Gravatar courant2002-10-07
* debian pkg now recommends proof generalGravatar courant2002-10-02
* '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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-07 23:24:23 +0000