aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/g_xml.ml4
Commit message (Expand)AuthorAge
* More {raw => glob} changes for consistencyGravatar glondu2010-12-24
* Rename rawterm.ml into glob_term.mlGravatar glondu2010-12-23
* Change of nomenclature: rawconstr -> glob_constrGravatar glondu2010-12-23
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* static (and shared) camlp4use instead of per-file declarationGravatar letouzey2010-05-19
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Some dead code removal + cleanupsGravatar letouzey2009-04-08
* Rewrite of Program Fixpoint to overcome the previous limitations: Gravatar msozeau2009-03-28
* Uniformisation du format des messages d'erreur (commencent par uneGravatar herbelin2008-07-17
* - Second pass on implementation of let pattern. Parse "let ' par [as x]?Gravatar msozeau2008-03-28
* Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...Gravatar msozeau2007-12-31
* Generalized CAMLP4USE for pp dependenciesGravatar corbinea2007-07-16
* Add a parameter to QuestionMark evar kind to say it can be turned into an obl...Gravatar msozeau2007-03-19
* le parsing du LETIN ne suivait pas la DTD (bug #1237)Gravatar herbelin2006-10-03
* Nettoyage code mortGravatar herbelin2006-07-05
* Added {measure x f} as a valid recursion order.Gravatar msozeau2006-06-22
* The "clean integration of subtac" patch.Gravatar msozeau2006-05-29
* - Distinction explicite des parties paramètres et arguments dans le typeGravatar herbelin2006-04-27
* - Utilisation d'abbréviations pour les types intervenant dans RCasesGravatar herbelin2006-04-26
* Si un fixpoint a plusieurs arguments, mais un seul de type inductif, Gravatar letouzey2006-04-14
* Update of Subtac contrib. Add {wf n R} as an alternative to {struct n}.Gravatar msozeau2006-03-13
* Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...Gravatar herbelin2005-12-26
* Changement des named_contextGravatar gregoire2005-12-02
* Parseur pour la DTD XML de constr et un peu plus pour les arguments de tactiquesGravatar herbelin2005-02-04