aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-11-21Correction bug dé-globalisation syntactic def (cf coq-club 20/11/05)herbelin
2005-11-20majcoq
2005-11-19majcoq
2005-11-19Correction de la correction du test sur le nombre de parametres d'une projectionherbelin
2005-11-18majcoq
2005-11-18majcoq
2005-11-18petites corrections + contournement bug projectionsbarras
2005-11-18*** empty log message ***barras
2005-11-18commited new ringbarras
2005-11-18commited first version of new ringbarras
2005-11-18Détection de la version de lablgtk (type GText.view)herbelin
2005-11-18Détection de la version de lablgtk (type GText.view)herbelin
2005-11-17majcoq
2005-11-17majcoq
2005-11-17implement support for drgeocamlnarboux
2005-11-17merci les warnings de 3.09 ...letouzey
2005-11-17A la demande de Julien Forestletouzey
2005-11-16majcoq
2005-11-15majcoq
2005-11-14majcoq
2005-11-14avoids warnings about unused variablesbertot
2005-11-14adds the the case VernacShow(ShowMatch _) in the pattern-matching construct,bertot
2005-11-13majcoq
2005-11-12majcoq
2005-11-11majcoq
2005-11-10majcoq
2005-11-10windows installnarboux
2005-11-10ajout de l'entree dans le menunarboux
2005-11-09majcoq
2005-11-09typonarboux
2005-11-09ajout installer windowsnarboux
2005-11-09ajout splashscreennarboux
2005-11-09fix pour install windowsnarboux
2005-11-09ajout splash screennarboux
2005-11-08majcoq
2005-11-08majcoq
2005-11-08set homenarboux
2005-11-08installer windowsnarboux
2005-11-08Nettoyage suite à la détection par défaut des variables inutilisées par o...herbelin
2005-11-08generation auto des .batnarboux
2005-11-08Nettoyage suite nouveaux avertissements Y et Z de ocaml 3.09herbelin
2005-11-08Nettoyage suite nouvel avertissement Z de ocaml 3.09herbelin
2005-11-08uninstall oknarboux
2005-11-08un peu mieux mais pas encore canarboux
2005-11-08- debugging og "Show Intros": no line breaking + fresh idscoq
2005-11-07majcoq
2005-11-07majcoq
2005-11-07Modifications in the .depend files for the contrib/recdef directorybertot
2005-11-07Adds tools to help in defining new general recursive functionsbertot
2005-11-06majcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-30 03:57:59 +0000