aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/g_constr.ml4
Commit message (Expand)AuthorAge
* Ajout d'un mécanisme d'interprétation et d'affichage pour les littéraux de...Gravatar herbelin2005-12-30
* Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...Gravatar herbelin2005-12-26
* Changement des named_contextGravatar gregoire2005-12-02
* Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...Gravatar herbelin2004-12-24
* Déclaration de '..' comme mot-clé (résoud bug #856)Gravatar herbelin2004-11-17
* Nouvelle en-têteGravatar herbelin2004-07-16
* Parsing des V8Notation avec motif recursif en v7Gravatar herbelin2004-03-17
* modif des fixpoints pour que si on donne une notation au produit, les pts fix...Gravatar barras2004-03-05
* Keep structure information for Fixpoint declaration and Fix termsGravatar bertot2004-02-26
* Compatibilite %TGravatar herbelin2003-11-14
* Compatibilite V7.4 pour le delimiteur de positiveGravatar herbelin2003-11-03
* Delimiters N devient 'nat'Gravatar herbelin2003-10-10
* traducteur: affiche les commentaires a l'interieur des commandesGravatar barras2003-09-22
* Mise en place d'implicites par noms en v8Gravatar herbelin2003-09-21
* Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c...Gravatar herbelin2003-09-12
* Nouvelle mouture du traducteur v7->v8Gravatar herbelin2003-08-11
* Token '.(' seulement pour v8, sinon conflit avec '.(*'Gravatar herbelin2003-06-11
* Ajout notation c.(f) en v8 pour les projections de RecordGravatar herbelin2003-06-10
* Renommage CMeta en CPatVar qui sert à saisir les PMeta de PatternGravatar herbelin2003-05-19
* Affinement nommage des productionsGravatar herbelin2003-03-27
* *** empty log message ***Gravatar barras2003-03-12
* Affinement entree annotGravatar herbelin2003-02-17
* Adds a possibility to construct a term as if it had been parsed throughGravatar bertot2003-01-30
* Plus de notation cablees dans 'annot'Gravatar herbelin2002-12-21
* Meilleure factorisation des entrées NEXT internesGravatar herbelin2002-12-15
* Associativité de constr9 et lconst à RIGHTA qui est le plus courantGravatar herbelin2002-12-02
* constr9 et lconstr NONA pour une meilleur extensibilitéGravatar herbelin2002-11-29
* Essai d'une autre syntaxe pour la dlimitation des scopesGravatar herbelin2002-11-28
* 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
* Passage à une représentation des fixpoints plus primitive dans constr_expr ...Gravatar herbelin2002-11-15
* Bug factorisationGravatar herbelin2002-11-14
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Un hack camlp4 qui marche à tous les coups pour continuer à parser '(n)' co...Gravatar herbelin2002-11-07
* Mais laisser la syntaxe (!id) aussi disponible !Gravatar herbelin2002-10-29
* Parenthèse non obligatoires autour de !id sans argumentGravatar herbelin2002-10-29
* Des critères plus fins d'analyse des implicites automatiques; meilleur affic...Gravatar herbelin2002-10-28
* Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...Gravatar herbelin2002-10-13
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* Ajout de Eval, Inst et CheckGravatar delahaye2002-05-27
* Prise en compte de la syntaxe [x:=c:t]b comme équivalent de [x:=c::t]bGravatar herbelin2001-11-08
* ParsingGravatar herbelin2001-08-10
* Extension des parametres de Clear + InstGravatar delahaye2001-06-19
* Interpretation MetaId + Progress + InstGravatar delahaye2001-06-18
* Reparation d'un bug d'affichage. Les let destructurants, if, et vieux CaseGravatar clrenard2001-06-11
* Non parenthesage des applications de tactiquesGravatar delahaye2001-04-14
* entetesGravatar filliatr2001-03-15
* Acceptation des noms qualifiés; nouveau lexeme METAIDENT pour les $idGravatar herbelin2000-11-20
* compilation des fichiers ml4 sans GNUseriesGravatar filliatr2000-11-03
* Suppression de AbstGravatar herbelin2000-09-10