Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l... | 2000-12-05 | |
* | Enregistrement des racines de la bibliothèque | 2000-11-29 | |
* | Nettoyage | 2000-11-26 | |
* | Prise en compte de noms absolus dans la nametab | 2000-11-26 | |
* | Ajout objets END-SECTION pour les nametabs + nettoyage lib/nametab | 2000-11-24 | |
* | certains effets disparaissent a la sortie des sections, d'autres non (selon S... | 2000-11-24 | |
* | Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's... | 2000-11-22 | |
* | Nouvelle structure arborescente à la Nametab pour prendre en compte les noms... | 2000-11-20 | |
* | Nametab.init - bug corrected | 2000-08-21 | |
* | - un effort sur la doc (ocamlweb) | 1999-09-19 |