aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* majGravatar coq2005-11-20
* majGravatar coq2005-11-19
* Correction de la correction du test sur le nombre de parametres d'une projectionGravatar herbelin2005-11-19
* majGravatar coq2005-11-18
* majGravatar coq2005-11-18
* petites corrections + contournement bug projectionsGravatar barras2005-11-18
* *** empty log message ***Gravatar barras2005-11-18
* commited new ringGravatar barras2005-11-18
* commited first version of new ringGravatar barras2005-11-18
* Détection de la version de lablgtk (type GText.view)Gravatar herbelin2005-11-18
* Détection de la version de lablgtk (type GText.view)Gravatar herbelin2005-11-18
* majGravatar coq2005-11-17
* majGravatar coq2005-11-17
* implement support for drgeocamlGravatar narboux2005-11-17
* merci les warnings de 3.09 ...Gravatar letouzey2005-11-17
* A la demande de Julien ForestGravatar letouzey2005-11-17
* majGravatar coq2005-11-16
* majGravatar coq2005-11-15
* majGravatar coq2005-11-14
* avoids warnings about unused variablesGravatar bertot2005-11-14
* adds the the case VernacShow(ShowMatch _) in the pattern-matching construct,Gravatar bertot2005-11-14
* majGravatar coq2005-11-13
* majGravatar coq2005-11-12
* majGravatar coq2005-11-11
* majGravatar coq2005-11-10
* windows installGravatar narboux2005-11-10
* ajout de l'entree dans le menuGravatar narboux2005-11-10
* majGravatar coq2005-11-09
* typoGravatar narboux2005-11-09
* ajout installer windowsGravatar narboux2005-11-09
* ajout splashscreenGravatar narboux2005-11-09
* fix pour install windowsGravatar narboux2005-11-09
* ajout splash screenGravatar narboux2005-11-09
* majGravatar coq2005-11-08
* majGravatar coq2005-11-08
* set homeGravatar narboux2005-11-08
* installer windowsGravatar narboux2005-11-08
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* generation auto des .batGravatar narboux2005-11-08
* Nettoyage suite nouveaux avertissements Y et Z de ocaml 3.09Gravatar herbelin2005-11-08
* Nettoyage suite nouvel avertissement Z de ocaml 3.09Gravatar herbelin2005-11-08
* uninstall okGravatar narboux2005-11-08
* un peu mieux mais pas encore caGravatar narboux2005-11-08
* - debugging og "Show Intros": no line breaking + fresh idsGravatar coq2005-11-08
* majGravatar coq2005-11-07
* majGravatar coq2005-11-07
* Modifications in the .depend files for the contrib/recdef directoryGravatar bertot2005-11-07
* Adds tools to help in defining new general recursive functionsGravatar bertot2005-11-07
* majGravatar coq2005-11-06
* coq iconGravatar narboux2005-11-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 11:54:14 +0000