Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | ||
* | Déplacement de global_reference dans Names pour pouvoir lier Nametab à gra... | 2001-10-12 | ||
* | Suppression des arguments sur les constantes, inductifs et constructeurs | 2001-10-09 | ||
* | Romega | 2001-09-20 | ||
* | MAJ V7.1 | 2001-09-19 | ||
* | reparation Zne | 2001-09-19 | ||
* | Romega/names/Makefile | 2001-09-18 |