aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2004-04-22majfilliatr
2004-04-21majfilliatr
2004-04-21*** empty log message ***barras
2004-04-21pb install de pcoqbarras
2004-04-20majfilliatr
2004-04-20majfilliatr
2004-04-20amelioration des specs RPMbarras
2004-04-20Amélioration message d'erreur quand échec unificationclrenard
2004-04-20maj annonce depuis la v8beta vers v8narboux
2004-04-19majfilliatr
2004-04-18majfilliatr
2004-04-17Incorrection exportation XMLherbelin
2004-04-17Finalement pas de liste des contributions (cela n'avait été fait que pour l...herbelin
2004-04-17pb facto des Fixpoint + erreur avec -dump-glob et Loadbarras
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 07:50:56 +0000