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 |