| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | suppression des (* open Generic *) |  filliatr | 2000-11-02 | |
| * | MAJ |  herbelin | 2000-10-23 | |
| * | MAJ | herbelin | 2000-10-18 | |
| * | MAJ pr_uni | herbelin | 2000-10-06 | |
| * | Renommage AppL en App | herbelin | 2000-10-01 | |
| * | MAJ | herbelin | 2000-10-01 | |
| * | MAJ | herbelin | 2000-09-14 | |
| * | MAJ | herbelin | 2000-09-12 | |
| * | 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 | |
| * | Mise en place d'un choix constr/typed_type en remplacement de certains Cast | herbelin | 2000-06-01 | |
| * | MAJ modifs Inductive | herbelin | 2000-05-18 | |
| * | Ajout de PrintConstr pour debug |  delahaye | 2000-05-03 | |
| * | renommage de certains printers | herbelin | 2000-05-03 | |
| * | Restructuration printer et parser | herbelin | 2000-01-07 | |
| * | pretty-printers pour le debugger | filliatr | 1999-12-14 | |
| * | Ajout pp pattern et rawterm | herbelin | 1999-12-12 | |
| * | pour debugger dans le toplevel ocaml | filliatr | 1999-12-03 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |