| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | effective evar refining |  corbinea | 2004-06-26 |
| * | maj |  filliatr | 2004-06-25 |
| * | eq and eqT are the same |  barras | 2004-06-25 |
| * | simplified proof (eq and eqT are now the same) | barras | 2004-06-25 |
| * | correspondance des records et noms de champs de records entre un module et sa... |  letouzey | 2004-06-25 |
| * | maj | filliatr | 2004-06-24 |
| * | maj | filliatr | 2004-06-23 |
| * | maj | filliatr | 2004-06-22 |
| * | maj | filliatr | 2004-06-21 |
| * | maj | filliatr | 2004-06-20 |
| * | maj | filliatr | 2004-06-18 |
| * | maj | filliatr | 2004-06-17 |
| * | Nouvelle syntaxe à la ML pour donner le type ML des extensions d'arguments |  herbelin | 2004-06-17 |
| * | maj | filliatr | 2004-06-16 |
| * | maj | filliatr | 2004-06-15 |
| * | maj | filliatr | 2004-06-14 |
| * | maj | filliatr | 2004-06-13 |
| * | maj | filliatr | 2004-06-11 |
| * | maj | filliatr | 2004-06-10 |
| * | maj | filliatr | 2004-06-09 |
| * | maj | filliatr | 2004-06-08 |
| * | maj | filliatr | 2004-06-07 |
| * | maj | filliatr | 2004-06-06 |
| * | maj | filliatr | 2004-06-04 |
| * | maj | filliatr | 2004-06-03 |
| * | Affichage de l'opacité par About mais pas par Print (compatibilité coq'art) | herbelin | 2004-06-03 |
| * | maj | filliatr | 2004-06-02 |
| * | maj | filliatr | 2004-06-02 |
| * | Amélioration affichage coercions vers Funclass | herbelin | 2004-06-02 |
| * | Fusion comparaison Const/Var; export is_opaque | herbelin | 2004-06-02 |
| * | Nouveaux thms de non circularité de nat | herbelin | 2004-06-02 |
| * | eq2eqT et eqT2eq devenus obsolètes | herbelin | 2004-06-02 |
| * | Affichage de l'opacité dans Print et About | herbelin | 2004-06-02 |
| * | Recherche de la source à partir de la gauche pour gérer des cas comme 'Coer... | herbelin | 2004-06-02 |
| * | MacOS X dans /usr/local | herbelin | 2004-06-02 |
| * | commentaire | herbelin | 2004-06-02 |
| * | Ajout tests affichage coercions vers Funclass | herbelin | 2004-06-02 |
| * | Ajout tests | herbelin | 2004-06-02 |
| * | Plus de robustesse en traduisant les 'Repeat Induction' et les 'Do n Induction' | herbelin | 2004-06-02 |
| * | bug #787 de Roland | barras | 2004-06-02 |
| * | Clarify the distinction between quantified_hypothesis and declared_or_quantif... | herbelin | 2004-06-02 |
| * | MAJ doc | herbelin | 2004-06-02 |
| * | maj | filliatr | 2004-06-01 |
| * | maj | filliatr | 2004-05-31 |
| * | maj | filliatr | 2004-05-30 |
| * | maj | filliatr | 2004-05-28 |
| * | Retour sur amendement de l'interprétation mult sur nat (bug 743) car incompa... | herbelin | 2004-05-28 |
| * | maj | filliatr | 2004-05-27 |
| * | Bug affichage ClearBody | herbelin | 2004-05-27 |
| * | Bricoles (cf bug #782) | herbelin | 2004-05-27 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |