aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/g_rsyntax.ml
Commit message (Expand)AuthorAge
* Branchement sur nouvelle interface de declare_numeral_interpreterGravatar herbelin2006-02-04
* Automatisation de l'utilisation de token primitifs dans les motifs de filtrageGravatar herbelin2006-01-08
* Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...Gravatar herbelin2005-12-26
* Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p...Gravatar herbelin2005-01-02
* TypoGravatar herbelin2004-12-24
* Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...Gravatar herbelin2004-12-24
* IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).Gravatar sacerdot2004-11-16
* Nouvelle en-têteGravatar herbelin2004-07-16
* Le traducteur utilisait un afficheur des reels obsolete et buggeGravatar herbelin2004-01-20
* MAJ ZArith; contraintes plus faibles pour decider la capacite a interpreter l...Gravatar herbelin2003-11-12
* Fusion des g_*syntaxnew.ml avec les g_*syntax.ml avec sélection dynamique selonGravatar herbelin2003-09-12
* MAJ module requis pour le parsing des numérauxGravatar herbelin2003-09-12
* *** empty log message ***Gravatar barras2003-03-12
* Interpretation des entiers dans les reels via les scopesGravatar desmettr2003-02-27
* Nouvelle interprétation des nombres réelsGravatar desmettr2003-01-15
* Installation des printers de nombres pour constr_exprGravatar 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
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* compat ocaml 3.03Gravatar filliatr2001-12-13
* ParsingGravatar herbelin2001-08-10
* modifs de preuves (plus simples)Gravatar mayero2001-07-19
* entetesGravatar filliatr2001-03-15
* modif de la syntax: assoc a droite pour RingGravatar mayero2001-02-08
* *** empty log message ***Gravatar mayero2000-12-22
* Ajout d'une syntaxe pour Reals.Gravatar mayero2000-11-23