aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* majGravatar filliatr2004-06-03
* Affichage de l'opacité par About mais pas par Print (compatibilité coq'art)Gravatar herbelin2004-06-03
* majGravatar filliatr2004-06-02
* majGravatar filliatr2004-06-02
* Amélioration affichage coercions vers FunclassGravatar herbelin2004-06-02
* Fusion comparaison Const/Var; export is_opaqueGravatar herbelin2004-06-02
* Nouveaux thms de non circularité de natGravatar herbelin2004-06-02
* eq2eqT et eqT2eq devenus obsolètesGravatar herbelin2004-06-02
* Affichage de l'opacité dans Print et AboutGravatar herbelin2004-06-02
* Recherche de la source à partir de la gauche pour gérer des cas comme 'Coer...Gravatar herbelin2004-06-02
* MacOS X dans /usr/localGravatar herbelin2004-06-02
* commentaireGravatar herbelin2004-06-02
* Ajout tests affichage coercions vers FunclassGravatar herbelin2004-06-02
* Ajout testsGravatar herbelin2004-06-02
* Plus de robustesse en traduisant les 'Repeat Induction' et les 'Do n Induction'Gravatar herbelin2004-06-02
* bug #787 de RolandGravatar barras2004-06-02
* Clarify the distinction between quantified_hypothesis and declared_or_quantif...Gravatar herbelin2004-06-02
* MAJ docGravatar herbelin2004-06-02
* majGravatar filliatr2004-06-01
* majGravatar filliatr2004-05-31
* majGravatar filliatr2004-05-30
* majGravatar filliatr2004-05-28
* Retour sur amendement de l'interprétation mult sur nat (bug 743) car incompa...Gravatar herbelin2004-05-28
* majGravatar filliatr2004-05-27
* Bug affichage ClearBodyGravatar herbelin2004-05-27
* Bricoles (cf bug #782)Gravatar herbelin2004-05-27
* Un bug résiduel (mais pas bien méchant) du noyauGravatar herbelin2004-05-27
* majGravatar filliatr2004-05-26
* Affichage de la date de checkout même si pas dans le répertoire de compilationGravatar herbelin2004-05-26
* majGravatar filliatr2004-05-25
* Correction bug 'Time Load foo'Gravatar herbelin2004-05-25
* majGravatar filliatr2004-05-24
* majGravatar filliatr2004-05-23
* majGravatar filliatr2004-05-21
* majGravatar filliatr2004-05-20
* Protection du destruct pour vérifier que ce n'est pas une anomalie, à défa...Gravatar herbelin2004-05-20
* majGravatar filliatr2004-05-19
* majGravatar filliatr2004-05-18
* majGravatar filliatr2004-05-17
* majGravatar filliatr2004-05-16
* majGravatar filliatr2004-05-14
* Bug syntaxe AddPathGravatar herbelin2004-05-14
* test de conversion laissait echapper exception NotConvertibleGravatar barras2004-05-14
* majGravatar filliatr2004-05-13
* "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
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-16 20:18:46 +0000