aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2004-05-14test de conversion laissait echapper exception NotConvertiblebarras
2004-05-13majfilliatr
2004-05-13"comments only" commit.coq
2004-05-12majfilliatr
2004-05-11majfilliatr
2004-05-10majfilliatr
2004-05-09majfilliatr
2004-05-08un argument booleen inutilisé dans expand_macrosletouzey
2004-05-07majfilliatr
2004-05-07Bug mauvais sigmaherbelin
2004-05-07Correction interprétation mult sur nat (bug 743), bug Oufo (mais Oufo est de...herbelin
2004-05-06majfilliatr
2004-05-05majfilliatr
2004-05-04majfilliatr
2004-05-04majfilliatr
2004-05-04Typoherbelin
2004-05-03majfilliatr
2004-05-03but autoamtics tactics savingmarche
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 15:29:18 +0000