aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* "comments only" commit.Gravatar coq2004-05-13
* majGravatar filliatr2004-05-12
* majGravatar filliatr2004-05-11
* majGravatar filliatr2004-05-10
* majGravatar filliatr2004-05-09
* un argument booleen inutilisé dans expand_macrosGravatar letouzey2004-05-08
* majGravatar filliatr2004-05-07
* Bug mauvais sigmaGravatar herbelin2004-05-07
* Correction interprétation mult sur nat (bug 743), bug Oufo (mais Oufo est de...Gravatar herbelin2004-05-07
* majGravatar filliatr2004-05-06
* majGravatar filliatr2004-05-05
* majGravatar filliatr2004-05-04
* majGravatar filliatr2004-05-04
* TypoGravatar herbelin2004-05-04
* majGravatar filliatr2004-05-03
* but autoamtics tactics savingGravatar marche2004-05-03
* Points-fixes avec let-inGravatar herbelin2004-05-03
* majGravatar filliatr2004-05-02
* Ajout test bug 711Gravatar herbelin2004-05-02
* majGravatar filliatr2004-04-30
* Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la vers...Gravatar herbelin2004-04-30
* Terminologie plus intuitive: evaluable -> unfoldableGravatar herbelin2004-04-30
* Dépendance en $(RPMTOPDIR)Gravatar herbelin2004-04-30
* Position du %defattr importanteGravatar herbelin2004-04-30
* majGravatar filliatr2004-04-29
* Test bug 705Gravatar herbelin2004-04-29
* Prise en compte d'un type dont la sorte est une evarGravatar herbelin2004-04-29
* majGravatar filliatr2004-04-28
* Ajout test If nouvelle syntaxeGravatar herbelin2004-04-28
* majGravatar filliatr2004-04-27
* Correction incapacité à gérer les annotations de type dépendantes pour le...Gravatar herbelin2004-04-27
* majGravatar filliatr2004-04-26
* majGravatar filliatr2004-04-25
* majGravatar filliatr2004-04-23
* majGravatar filliatr2004-04-22
* majGravatar filliatr2004-04-21
* *** empty log message ***Gravatar barras2004-04-21
* pb install de pcoqGravatar barras2004-04-21
* majGravatar filliatr2004-04-20
* majGravatar filliatr2004-04-20
* amelioration des specs RPMGravatar barras2004-04-20
* Amélioration message d'erreur quand échec unificationGravatar clrenard2004-04-20
* maj annonce depuis la v8beta vers v8Gravatar narboux2004-04-20
* majGravatar filliatr2004-04-19
* majGravatar filliatr2004-04-18
* Incorrection exportation XMLGravatar herbelin2004-04-17
* Finalement pas de liste des contributions (cela n'avait été fait que pour l...Gravatar herbelin2004-04-17
* pb facto des Fixpoint + erreur avec -dump-glob et LoadGravatar barras2004-04-17
* majGravatar filliatr2004-04-16
* Backtrack user contribsGravatar herbelin2004-04-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-11 12:22:42 +0000