aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-06-28Ajout de la coercion id dans context vers evaluable constant (bug #777)herbelin
2004-06-28Correction bug #776herbelin
2004-06-28Double bug d'affichage des cases dépendants (bug #784)herbelin
2004-06-28Modules et Records: gros changements pour prendre en compte le nouveau mind_r...letouzey
2004-06-27majfilliatr
2004-06-27majfilliatr
2004-06-27Typo (bug #797)herbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 22:56:39 +0000