aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/g_basevernac.ml4
Commit message (Expand)AuthorAge
* Nouvelle en-têteGravatar herbelin2004-07-16
* Bug syntaxe AddPathGravatar herbelin2004-05-14
* Réutilisation de VernacSyntacticDefinition pour différencier "Notation id :...Gravatar herbelin2004-01-29
* meilleure presentation des commentaires du traducteurGravatar barras2004-01-02
* Ajout Print Implicit avec depliage du typeGravatar herbelin2003-11-15
* Suppression SearchNamed finalement redondant avec SearchAboutGravatar herbelin2003-11-10
* Heritage des notations v7 seulement si zero information v8Gravatar herbelin2003-11-01
* Ajout de Print VisibilityGravatar herbelin2003-10-28
* Independance de grammar.cmo vis a vis de SearchGravatar herbelin2003-10-23
* Integration de SearchNamed dans SearchAboutGravatar herbelin2003-10-22
* reorganisation des niveaux (ex: = est a 70)Gravatar barras2003-10-22
* Ajout d'une fonction de recherche sur les composantes du nom des objetsGravatar herbelin2003-10-13
* Implantation de l'option 'format' des NotationsGravatar herbelin2003-10-01
* Ajout 'Close Scope'.Gravatar herbelin2003-09-30
* Ajout 'About'Gravatar herbelin2003-09-26
* Re-possibilite changement chaine infixe en passant v7 a v8Gravatar herbelin2003-09-26
* Distfix aussi adopte le nouveau schema de V8onlyGravatar herbelin2003-09-22
* Changement de la politique de V8only: V8only tout seul signifieGravatar herbelin2003-09-21
* Mise en place des V8Notation et V8Infix pour déclarer des notations enGravatar herbelin2003-09-19
* Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c...Gravatar herbelin2003-09-12
* Ajout 'Print Scopes' et 'Bind Scope with classes'Gravatar herbelin2003-09-12
* Traduction de DistfixGravatar herbelin2003-09-10
* Ajout V8NotationGravatar herbelin2003-05-22
* Prise en compte des syntaxes v8 dans Uninterpreted NotationGravatar herbelin2003-04-29
* Factorisation des produits de même type; parenthèses autour des x:=c et n:=...Gravatar herbelin2003-04-29
* Ajout "at next level" dans NotationGravatar herbelin2003-04-17
* Ajout option 'Local' à Infix et NotationGravatar herbelin2003-04-11
* Ajout option "Local" à "Open Scope"Gravatar herbelin2003-04-08
* *** empty log message ***Gravatar barras2003-03-21
* *** empty log message ***Gravatar barras2003-03-12
* SearchAboutGravatar filliatr2003-01-06
* Meilleure factorisation des entrées NEXT internesGravatar herbelin2002-12-15
* Raffinement syntaxe InfixGravatar herbelin2002-11-29
* OubliGravatar herbelin2002-11-28
* Correction sur commit précédentGravatar herbelin2002-11-27
* MAJ delimiters et niveaux d'associativiteGravatar herbelin2002-11-25
* Retour sur le choix des delimiteursGravatar herbelin2002-11-25
* 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
* fix forbidden currified constructorsGravatar ddr2002-11-07
* Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;...Gravatar herbelin2002-10-22
* Prise en compte des délimiteurs dans les motifs de CasesGravatar herbelin2002-10-21
* Ajout "Arguments Scope" pour associer des "scopes" aux arguments d'uneGravatar herbelin2002-10-14
* Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...Gravatar herbelin2002-10-13
* Pretty-printing preliminaire des modules, commandesGravatar coq2002-08-19
* Pour assurer une compatibilite avec la 7.3Gravatar herbelin2002-07-15
* Finalement un seul constr pour l'instant dans ExtraRedExprGravatar herbelin2002-05-30
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* Suppression option immediate_discharge; nettoyage de Declare et conséquencesGravatar herbelin2001-10-11
* Réparation des options Set Printing and coGravatar herbelin2001-09-21