aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/g_prim.ml4
Commit message (Expand)AuthorAge
* Update headers.Gravatar Maxime Dénès2015-01-12
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Dir_path --> DirPathGravatar letouzey2013-02-19
* Modulification of dir_pathGravatar ppedrot2012-12-14
* Modulification of identifierGravatar ppedrot2012-12-14
* Moved Compat to parsing. This permits to break the dependency of theGravatar ppedrot2012-10-04
* Updating headers.Gravatar herbelin2012-08-08
* Fixes a bug in the parsing of the grammar entry dirpath which would,Gravatar aspiwack2012-07-06
* Restore compatibility with camlp4 (some missing open Tok)Gravatar letouzey2012-05-30
* simplification in deps of some g_*.ml4Gravatar letouzey2012-05-29
* locus.mli for occurrences+clauses, misctypes.mli for various little thingsGravatar letouzey2012-05-29
* Noise for nothingGravatar pboutill2012-03-02
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* 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
* static (and shared) camlp4use instead of per-file declarationGravatar letouzey2010-05-19
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Several bug-fixes and improvements of coqdocGravatar herbelin2010-03-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Generalized the possibility to refer to a global name by a notationGravatar herbelin2009-09-11
* - Cleaning phase of the interfaces of libnames.ml and nametab.mlGravatar herbelin2009-08-06
* The lexer is changer to break former PATTERNIDENT into two tokens.Gravatar amahboub2008-10-30
* Uniformisation du format des messages d'erreur (commencent par uneGravatar herbelin2008-07-17
* Bug résiduel du backtrack de coqide se produisant lorsque la limite deGravatar herbelin2008-07-10
* Creation of a new token PATTERNIDENT (?ident) for intro patterns, soGravatar glondu2007-09-28
* Generalized CAMLP4USE for pp dependenciesGravatar corbinea2007-07-16
* Oubli lors suppression traducteurGravatar herbelin2006-01-23
* Autres suppressions de composantes du traducteurGravatar herbelin2005-12-27
* 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
* Construct "T with (Definition|Module) id := c" generalized toGravatar sacerdot2005-01-13
* Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...Gravatar herbelin2004-12-24
* Suppression quotifyGravatar herbelin2004-07-16
* Nouvelle en-têteGravatar herbelin2004-07-16
* Ajout d'une entrée hyp de type HypArgType pour parser et interpréter les no...Gravatar herbelin2004-03-02
* changement nouvelle syntaxe (pt fixes)Gravatar barras2003-10-10
* *** empty log message ***Gravatar barras2003-03-12
* Ajout d'une entre Prim.bigintGravatar herbelin2002-11-28
* 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
* Correction mauvais ordre dans le parsing des dirpath; MAJ de la quotificationGravatar herbelin2002-06-05
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* GROS COMMIT:Gravatar barras2001-11-05
* bug incompatibilitéGravatar herbelin2001-08-13
* ParsingGravatar herbelin2001-08-10
* Changement de la structure des points fixesGravatar barras2001-05-03
* renommage du module Pcoq.Vernac en Pcoq.Vernac_ pour contourner un bug d'ocam...Gravatar filliatr2001-04-04
* entetesGravatar filliatr2001-03-15
* Nouveau lexeme METAIDENT pour les $idGravatar herbelin2000-11-20