aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/extend.mli
Commit message (Expand)AuthorAge
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Extension of the recursive notations mechanismGravatar herbelin2010-07-22
* New script dev/tools/change-header to automatically update Coq files headers.Gravatar herbelin2010-06-22
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* Nicer representation of tokens, more independant of camlp*Gravatar letouzey2010-05-19
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Added automatic expansion on the left of recursive notationsGravatar herbelin2010-03-23
* - Cleaning (unification of ML names, removal of obsolete code,Gravatar herbelin2009-04-27
* - Structuring Numbers and fixing Setoid in stdlib's doc.Gravatar herbelin2009-01-19
* 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