aboutsummaryrefslogtreecommitdiff
path: root/distrib
AgeCommit message (Expand)Author
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-01-31 16:07:07 +0000