aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/extend.mli
Commit message (Expand)AuthorAge
* Mini-restructurationGravatar herbelin2005-12-30
* Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...Gravatar herbelin2005-12-26
* Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...Gravatar herbelin2005-12-26
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* Names.substitution (and related functions) and Term.subst_mps moved toGravatar sacerdot2004-11-16
* Nouvelle en-têteGravatar herbelin2004-07-16
* Mise en place de motifs récursifs dans Notation; quelques simplifications au...Gravatar herbelin2004-03-17
* 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