| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Printer |  mohring | 2000-12-15 |
| * | Ajout de constr_of_string | mohring | 2000-12-04 |
| * | Prise en compte du renommage des fonctions de Astterm |  herbelin | 2000-04-17 |
| * | Restructuration printer et parser | herbelin | 2000-01-07 |
| * | pretty-printers pour le debugger |  filliatr | 1999-12-14 |
| * | renommage pour eviter pbm avec ocamldep (syntax error) | filliatr | 1999-12-03 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |