aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-06-27Correction affichage v8 des records avec let (bug #798)herbelin
2004-06-26Licence changed from GPL to Lesser GPL.sacerdot
2004-06-26effective evar refiningcorbinea
2004-06-25majfilliatr
2004-06-25eq and eqT are the samebarras
2004-06-25simplified proof (eq and eqT are now the same)barras
2004-06-25correspondance des records et noms de champs de records entre un module et sa...letouzey
2004-06-24majfilliatr
2004-06-23majfilliatr
2004-06-22majfilliatr
2004-06-21majfilliatr
2004-06-20majfilliatr
2004-06-18majfilliatr
2004-06-17majfilliatr
2004-06-17Nouvelle syntaxe à la ML pour donner le type ML des extensions d'argumentsherbelin
2004-06-16majfilliatr
2004-06-15majfilliatr
2004-06-14majfilliatr
2004-06-13majfilliatr
2004-06-11majfilliatr
2004-06-10majfilliatr
2004-06-09majfilliatr
2004-06-08majfilliatr
2004-06-07majfilliatr
2004-06-06majfilliatr
2004-06-04majfilliatr
2004-06-03majfilliatr
2004-06-03Affichage de l'opacité par About mais pas par Print (compatibilité coq'art)herbelin
2004-06-02majfilliatr
2004-06-02majfilliatr
2004-06-02Amélioration affichage coercions vers Funclassherbelin
2004-06-02Fusion comparaison Const/Var; export is_opaqueherbelin
2004-06-02Nouveaux thms de non circularité de natherbelin
2004-06-02eq2eqT et eqT2eq devenus obsolètesherbelin
2004-06-02Affichage de l'opacité dans Print et Aboutherbelin
2004-06-02Recherche de la source à partir de la gauche pour gérer des cas comme 'Coer...herbelin
2004-06-02MacOS X dans /usr/localherbelin
2004-06-02commentaireherbelin
2004-06-02Ajout tests affichage coercions vers Funclassherbelin
2004-06-02Ajout testsherbelin
2004-06-02Plus de robustesse en traduisant les 'Repeat Induction' et les 'Do n Induction'herbelin
2004-06-02bug #787 de Rolandbarras
2004-06-02Clarify the distinction between quantified_hypothesis and declared_or_quantif...herbelin
2004-06-02MAJ docherbelin
2004-06-01majfilliatr
2004-05-31majfilliatr
2004-05-30majfilliatr
2004-05-28majfilliatr
2004-05-28Retour sur amendement de l'interprétation mult sur nat (bug 743) car incompa...herbelin
2004-05-27majfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 07:16:08 +0000