aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib
Commit message (Expand)AuthorAge
* preparation pour release (suite)Gravatar barras2004-03-15
* preparation packages V8.0-cdromGravatar barras2004-03-15
* coq.spec n\'est plus parametreGravatar barras2004-03-12
* - 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
* pas ideGravatar herbelin2004-01-06
* MAJ rpmGravatar herbelin2004-01-06
* MAJGravatar herbelin2004-01-06
* MAJ 8.0Gravatar herbelin2003-12-28
* numeros versionGravatar marche2003-12-01
* *** empty log message ***Gravatar courant2003-06-27
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 10:20:11 +0000