aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib
Commit message (Expand)AuthorAge
* changement de path du site webGravatar narboux2006-02-25
* ajoute un warning sur htmlppGravatar narboux2006-02-25
* PrecisionGravatar herbelin2006-01-23
* *** empty log message ***Gravatar barras2006-01-05
* windows installGravatar narboux2005-11-10
* ajout de l'entree dans le menuGravatar narboux2005-11-10
* typoGravatar narboux2005-11-09
* ajout installer windowsGravatar narboux2005-11-09
* ajout splashscreenGravatar narboux2005-11-09
* ajout splash screenGravatar narboux2005-11-09
* set homeGravatar narboux2005-11-08
* installer windowsGravatar narboux2005-11-08
* generation auto des .batGravatar narboux2005-11-08
* uninstall okGravatar narboux2005-11-08
* un peu mieux mais pas encore caGravatar narboux2005-11-08
* coq iconGravatar narboux2005-11-06
* installer windows travail en coursGravatar narboux2005-11-06
* scprit for windows install programGravatar narboux2005-11-05
* Ajout maj répertoire d'archivage par version de CoqGravatar herbelin2005-10-07
* MAJ pauillac -> yquemGravatar herbelin2005-10-06
* Procédure d'ajout d'une nouvelle contributions utilisateurGravatar herbelin2005-08-01
* rename INSTALL.win INSTALL.txt to ease openingGravatar narboux2005-07-25
* MAJGravatar herbelin2005-07-06
* the package script disappeared in MacOS 10.3: we locally copy the 10.2 versionGravatar herbelin2005-03-06
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 13:55:37 +0000