| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Bug dans l'utilisation de l'option debug |  herbelin | 2000-12-20 |
| * | Code mort | herbelin | 2000-12-18 |
| * | correction Abstract (et make world passe!) |  filliatr | 2000-11-02 |
| * | suppression des (* open Generic *) | filliatr | 2000-11-02 |
| * | Renommage canonique : | herbelin | 2000-10-18 |
| * | Correction pour make doc | herbelin | 2000-09-10 |
| * | Ajout d'un LetIn primitif. | herbelin | 2000-09-10 |
| * | Passage à des contextes de vars et de rels pouvant contenir des déclarations | herbelin | 2000-07-24 |
| * | Nettoyage de Generic | herbelin | 2000-05-31 |
| * | Nettoyage de l'interface de Pfedit | herbelin | 2000-05-04 |
| * | Ajout du langage de tactiques |  delahaye | 2000-05-03 |
| * | Suite intégration de constr_pattern | herbelin | 2000-04-30 |
| * | MAJ ocaml 2.99 (espaces dans la syntaxe des cast) | herbelin | 2000-01-26 |
| * | rattrapage exceptions autres que UserError | filliatr | 1999-12-14 |
| * | modifs pour premiere edition de liens | filliatr | 1999-12-02 |
| * | - Typing -> Safe_typing | filliatr | 1999-12-01 |
| * | modules Evar_refiner et Typing_ev | filliatr | 1999-10-20 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |