aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-12-06j'avais oublie ces deux fichiers.gregoire
2005-12-05correction bug 881.gregoire
2005-12-05changement d'egalite pour le named_context_valgregoire
2005-12-02Changement des named_contextgregoire
2005-12-01amelioration de la generation des unsafeCoerceletouzey
2005-11-30changement parametres inductifs dans les theoriesmohring
2005-11-30evite certaines eta-expansions cavalieresletouzey
2005-11-29correctif pour que type t = M.t contienne bien son M.letouzey
2005-11-29majcoq
2005-11-28majcoq
2005-11-28majcoq
2005-11-28parametres inductifsmohring
2005-11-27majcoq
2005-11-26majcoq
2005-11-26Fonctionnalisation du cache 'compunit' pour réparer correctement le bug #103...herbelin
2005-11-26coqide send a ack to tell drgeocaml it is receivednarboux
2005-11-25majcoq
2005-11-25*** empty log message ***barras
2005-11-25*** empty log message ***barras
2005-11-24majcoq
2005-11-23majcoq
2005-11-23bug de coqide sous windows (bad file descriptor)barras
2005-11-23bug #909: Top n'est cree que si le contexte est videbarras
2005-11-22majcoq
2005-11-21majcoq
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 17:16:19 +0000