Commit message (Expand) | Author | Age | |
---|---|---|---|
* | compilation des fichiers ml4 sans GNUseries | 2000-11-03 | |
* | suppression des (* open Generic *) | 2000-11-02 | |
* | Correction pour make doc | 2000-09-10 | |
* | Suppression de Abst | 2000-09-10 | |
* | retablissement make doc et make minicoq | 2000-07-25 | |
* | retablissement minicoq (pour Jacek) | 2000-07-21 | |
* | Portage (pour la forme) de minicoq | 2000-03-31 | |
* | affichage des erreurs de typage dans minicoq | 1999-09-10 | |
* | modules Ast et Pcoq | 1999-09-08 | |
* | minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, Const... | 1999-09-08 | |
* | fichiers camlp4 avec suffix .ml4 | 1999-09-08 |