aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib
Commit message (Expand)AuthorAge
* sed ne connait pas '+' sur macosxGravatar herbelin2005-01-25
* MAJGravatar herbelin2004-07-30
* Unbind the macosx dmg after creation to be able to build it again safelyGravatar herbelin2004-07-30
* MAJ cible patchGravatar herbelin2004-07-29
* camlp4 maintenant intégré à ocamlGravatar herbelin2004-07-17
* 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
* Position du %defattr importanteGravatar herbelin2004-04-30
* *** empty log message ***Gravatar barras2004-04-21
* amelioration des specs RPMGravatar barras2004-04-20
* TypoGravatar herbelin2004-04-16
* MAJ setupGravatar herbelin2004-04-16
* preparation a la release 8.0Gravatar barras2004-04-07
* *** empty log message ***Gravatar barras2004-03-24
* MAJ macosxGravatar herbelin2004-03-18
* install de pcoq incorrect + spec rpmGravatar barras2004-03-16
* 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