aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/syntax_def.ml
Commit message (Expand)AuthorAge
* Prise en compte de noms absolus dans la nametabGravatar herbelin2000-11-26
* certains effets disparaissent a la sortie des sections, d'autres non (selon S...Gravatar filliatr2000-11-24
* Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's...Gravatar herbelin2000-11-22
* Cablage des syntactif defs avec la Nametab des objetsGravatar herbelin2000-11-20
* methode exportGravatar filliatr2000-11-15
* Bugs lies a la confusion load/open et a un open abusivement recursif dans lib...Gravatar herbelin2000-11-10
* Syntactic Definition n'etaient pas correctemenet importeesGravatar filliatr2000-03-16
* changement type add_anonymous_leafGravatar filliatr1999-12-05
* modifs pour premiere edition de liensGravatar filliatr1999-12-02