Commit message (Expand) | Author | Age | |
---|---|---|---|
* | MAJ | 2000-09-14 | |
* | MAJ | 2000-09-12 | |
* | Ajout d'un LetIn primitif. | 2000-09-10 | |
* | Passage à des contextes de vars et de rels pouvant contenir des déclarations | 2000-07-24 | |
* | Mise en place d'un choix constr/typed_type en remplacement de certains Cast | 2000-06-01 | |
* | MAJ modifs Inductive | 2000-05-18 | |
* | Ajout de PrintConstr pour debug | 2000-05-03 | |
* | renommage de certains printers | 2000-05-03 | |
* | Restructuration printer et parser | 2000-01-07 | |
* | pretty-printers pour le debugger | 1999-12-14 | |
* | Ajout pp pattern et rawterm | 1999-12-12 | |
* | pour debugger dans le toplevel ocaml | 1999-12-03 |