aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/syntax_def.mli
Commit message (Expand)AuthorAge
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* 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
* modifs pour premiere edition de liensGravatar filliatr1999-12-02