aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2004-05-03Points-fixes avec let-inherbelin
2004-05-02majfilliatr
2004-05-02Ajout test bug 711herbelin
2004-04-30majfilliatr
2004-04-30Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la vers...herbelin
2004-04-30Terminologie plus intuitive: evaluable -> unfoldableherbelin
2004-04-30Dépendance en $(RPMTOPDIR)herbelin
2004-04-30Position du %defattr importanteherbelin
2004-04-29majfilliatr
2004-04-29Test bug 705herbelin
2004-04-29Prise en compte d'un type dont la sorte est une evarherbelin
2004-04-28majfilliatr
2004-04-28Ajout test If nouvelle syntaxeherbelin
2004-04-27majfilliatr
2004-04-27Correction incapacité à gérer les annotations de type dépendantes pour le...herbelin
2004-04-26majfilliatr
2004-04-25majfilliatr
2004-04-23majfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-20 09:56:50 +0000