aboutsummaryrefslogtreecommitdiff
path: root/distrib
AgeCommit message (Expand)Author
2004-01-06pas ideherbelin
2004-01-06MAJ rpmherbelin
2004-01-06MAJherbelin
2003-12-28MAJ 8.0herbelin
2003-12-01numeros versionmarche
2003-06-27*** empty log message ***courant
2003-02-24aide contextuelle / menus compilation + print + exportfilliatr
2003-02-05Automatisation de la création de l'image avec le package MacOS-Xherbelin
2003-02-04MAJ Windowsherbelin
2003-02-03-reals allfilliatr
2003-02-03release 7.4; changement magic numberfilliatr
2003-01-31preparation pkg deb for 7.4courant
2002-11-10more cleaningherbelin
2002-10-07*** empty log message ***courant
2002-10-02debian pkg now recommends proof generalcourant
2002-06-04'make check' echoue si au moins un test echoue.courant
2002-05-16ARCH passe de Makefile à config.distribherbelin
2002-05-15MAJ V7.3herbelin
2002-04-10Simplification du nom de l'architecture Mac OS Xherbelin
2002-04-10MAJherbelin
2002-03-12*** empty log message ***courant
2002-01-23paquet Debian 7.2-3courant
2002-01-21mise a jourfilliatr
2002-01-18*** empty log message ***courant
2002-01-10Bugs et raffinementsherbelin
2001-12-28MAJ 7.2herbelin
2001-12-23MAJherbelin
2001-12-21*** empty log message ***courant
2001-12-21comment faire le .debcourant
2001-12-21preparation V7.2courant
2001-12-21paquet Debiancourant
2001-12-19MAJ 7.2herbelin
2001-12-13package Debian 7.1, correction pb compilation native sur certaines architecturescourant
2001-12-11*** empty log message ***courant
2001-10-03MAJ docherbelin
2001-09-27Ajout INSTALL.winherbelin
2001-09-26tools pas fait automatiquementherbelin
2001-09-26Compatibilite Windowsherbelin
2001-09-26MAJ contribherbelin
2001-09-25Nouvel emplacement pour coq.specherbelin
2001-09-25MAJ V7.1herbelin
2001-09-20MAJ V7.1herbelin
2001-09-20MAJ V7.1herbelin
2001-09-04Nouveau coq.spec avec les droits de rootherbelin
2001-04-25ajout pour le cdrommayero
2001-04-25*** empty log message ***courant
2001-04-25*** empty log message ***courant
2001-04-25*** empty log message ***courant
2001-04-25make -j world -> make world en raison de bug ocamlc/ocamloptcourant
2001-04-25man pages for coq-interface and parsercourant
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:52:53 +0000