aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2004-05-27Bug affichage ClearBodyherbelin
2004-05-27Bricoles (cf bug #782)herbelin
2004-05-27Un bug résiduel (mais pas bien méchant) du noyauherbelin
2004-05-26majfilliatr
2004-05-26Affichage de la date de checkout même si pas dans le répertoire de compilationherbelin
2004-05-25majfilliatr
2004-05-25Correction bug 'Time Load foo'herbelin
2004-05-24majfilliatr
2004-05-23majfilliatr
2004-05-21majfilliatr
2004-05-20majfilliatr
2004-05-20Protection du destruct pour vérifier que ce n'est pas une anomalie, à défa...herbelin
2004-05-19majfilliatr
2004-05-18majfilliatr
2004-05-17majfilliatr
2004-05-16majfilliatr
2004-05-14majfilliatr
2004-05-14Bug syntaxe AddPathherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 08:28:01 +0000