aboutsummaryrefslogtreecommitdiff
path: root/distrib
AgeCommit message (Expand)Author
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
2001-04-25Ajout pages de man coq_makefile et coqmktopcourant
2001-04-25modif pour RPM et Debiancourant
2001-04-25modif rpmcourant
2001-04-25- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.bytecourant
2001-04-24Retire le repertoire Nummohring
2001-04-24ajout necessaire pour paquet debiancourant
2001-04-24adding binary files that are needed for the graphical user-interface pcoqbertot
2001-04-19ajout du cas win32courant
2001-04-19*** empty log message ***courant
2001-04-10Mise a jour de la config pour distribmohring
2001-02-02Nouvelle betaherbelin
2001-01-27Suppression du retrait du répertoire doc de l'archive tar-gzip-éeherbelin
2000-12-27Améliorationsherbelin
2000-12-22Typoherbelin
2000-12-22cleanallherbelin
2000-12-22MAJ V7herbelin
2000-12-22Pour créer les archives distribuéesherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 19:09:32 +0000