aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/extend.mli
Commit message (Expand)AuthorAge
* Implantation de l'option 'format' des NotationsGravatar herbelin2003-10-01
* Les notations hors scope s'empilent maintenant comme des scopes neGravatar herbelin2003-09-30
* Ajout "at next level" dans NotationGravatar herbelin2003-04-17
* Meilleure factorisation des entrées NEXT internesGravatar herbelin2002-12-15
* Re-déplacement du résultat de Grammar au niveau constr_exprGravatar herbelin2002-12-02
* Affinement de la gestion des niveaux toujours; type ETBigintGravatar herbelin2002-11-28
* Correction sur commit précédentGravatar herbelin2002-11-27
* Réaffichage des Syntactic Definition (printer constr_expr).Gravatar herbelin2002-11-26
* Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...Gravatar herbelin2002-11-24
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...Gravatar herbelin2002-10-13
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* amelioration de la structure des universGravatar barras2001-03-28
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Restructuration printer et parserGravatar herbelin2000-01-07
* module ExtendGravatar filliatr1999-11-26