aboutsummaryrefslogtreecommitdiff
path: root/distrib/RH
AgeCommit message (Expand)Author
2006-06-09Suppression du répertoire distrib: il fait désormais partie du projet coq-d...notin
2006-04-28Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...notin
2005-11-10ajout de l'entree dans le menunarboux
2004-04-30Position du %defattr importanteherbelin
2004-04-21*** empty log message ***barras
2004-04-20amelioration des specs RPMbarras
2004-04-16MAJ setupherbelin
2004-04-07preparation a la release 8.0barras
2004-03-24*** empty log message ***barras
2004-03-16install de pcoq incorrect + spec rpmbarras
2004-03-15preparation packages V8.0-cdrombarras
2004-03-12coq.spec n\'est plus parametrebarras
2004-01-27meilleure separation de compil et install de coq, coqide et coq-interfacebarras
2004-01-08Finalisation du mecanisme de creation du rpm coqideherbelin
2004-01-06pas ideherbelin
2004-01-06MAJherbelin
2003-02-24aide contextuelle / menus compilation + print + exportfilliatr
2003-02-03-reals allfilliatr
2003-02-03release 7.4; changement magic numberfilliatr
2002-06-04'make check' echoue si au moins un test echoue.courant
2002-05-15MAJ V7.3herbelin
2001-12-19MAJ 7.2herbelin
2001-09-20MAJ V7.1herbelin
2001-09-04Nouveau coq.spec avec les droits de rootherbelin
2001-04-25modif pour RPM et Debiancourant
2001-04-25modif rpmcourant
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 17:30:16 +0000