Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | affichage correct du type des inductifs et constructeurs en presence | 2001-12-18 | ||
* | compat ocaml 3.03 | 2001-12-13 | ||
* | GROS COMMIT: | 2001-11-05 | ||
* | Abstraction de l'immplementation de dirpath et implementation dans l'autre se... | 2001-10-17 | ||
* | Suppression option immediate_discharge; nettoyage de Declare et conséquences | 2001-10-11 | ||
* | Suppression des arguments sur les constantes, inductifs et constructeurs | 2001-10-09 | ||
* | Marre des unrecognized objects | 2001-09-24 | ||
* | Amélioration affichage de print_leaf_entry | 2001-09-20 | ||
* | Transparent | 2001-09-20 | ||
* | Ajout de la profondeur de section à DischargeAt pour gérer l'«open» et le... | 2001-09-19 | ||
* | Rétablissement de Print Section | 2001-09-06 | ||
* | Parsing | 2001-08-10 | ||
* | Pretty -> Prettyp | 2001-05-28 |