aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing
Commit message (Expand)AuthorAge
* Bug aboutGravatar herbelin2003-09-26
* Syntaxe plus liberale pour le type des arguments de filtrage du 'match'Gravatar herbelin2003-09-26
* Ajout 'About'Gravatar herbelin2003-09-26
* Re-possibilite changement chaine infixe en passant v7 a v8Gravatar herbelin2003-09-26
* Utilisation de noms dans 'Implicit Arguments [...]'Gravatar herbelin2003-09-24
* Utilisation de noms dans 'Implicit Arguments [...]'Gravatar herbelin2003-09-23
* Changement de l'afficheur pour que les variables liées aient un nom indépen...Gravatar herbelin2003-09-23
* traducteur: affiche les commentaires a l'interieur des commandesGravatar barras2003-09-22
* Distfix aussi adopte le nouveau schema de V8onlyGravatar herbelin2003-09-22
* Renommages divers.Gravatar herbelin2003-09-21
* Changement de la politique de V8only: V8only tout seul signifieGravatar herbelin2003-09-21
* Parsing au niveau lconstr des patterns de 'match context'Gravatar herbelin2003-09-21
* Mise en place d'implicites par noms en v8Gravatar herbelin2003-09-21
* Mise en place des V8Notation et V8Infix pour déclarer des notations enGravatar herbelin2003-09-19
* Ajout r gle d'affichage tactiques èéfinies par NotationGravatar herbelin2003-09-18
* Simplification afficheur de tactiques non primitiveGravatar herbelin2003-09-18
* En attendant l'afficheur...Gravatar herbelin2003-09-16
* Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c...Gravatar herbelin2003-09-12
* Fusion des g_*syntaxnew.ml avec les g_*syntax.ml avec sélection dynamique selonGravatar herbelin2003-09-12
* Ajout 'Print Scopes' et 'Bind Scope with classes'Gravatar herbelin2003-09-12
* MAJ module requis pour le parsing des numérauxGravatar herbelin2003-09-12
* Affichage des scopes d'argumentsGravatar herbelin2003-09-12
* Ajout 'Print Scopes' et 'Bind Scope with classes'; 'Delimits' -> 'Delimit'Gravatar herbelin2003-09-12
* Passage des projections au niveau 1Gravatar herbelin2003-09-10
* 9 est associatif a gaucheGravatar herbelin2003-09-10
* Traduction de DistfixGravatar herbelin2003-09-10
* Ajout construction If primitive dans constr_expr et rawconstrGravatar herbelin2003-09-09
* 'Grammar tactic' devient 'Tactic Notation'Gravatar herbelin2003-09-09
* Traduction des réferences arguments de commandes non primitivesGravatar herbelin2003-09-09
* Code mortGravatar herbelin2003-09-09
* Mise en place possibilité de définitions locales dans les paramètres des r...Gravatar herbelin2003-09-06
* Mise en place possibilité de définitions locales dans les paramètres des r...Gravatar herbelin2003-09-06
* Paramétrisation vis à vis de existential_keyGravatar herbelin2003-09-06
* 'Implicits qid' -> 'Implicit Arguments qid'Gravatar herbelin2003-09-06
* Adapter l'entree de grammaire a la version 7 ou 8Gravatar herbelin2003-09-06
* Mise en place possibilité de définitions locales dans les paramètres des i...Gravatar herbelin2003-09-06
* Passage de lconstr à constr pour les arguments immédiat de commandesGravatar herbelin2003-09-06
* Passage de lconstr à constr pour les arguments immédiat de commandesGravatar herbelin2003-09-06
* Bug affichage tactiques supplementaires en v8 (suite)Gravatar herbelin2003-09-06
* Bug affichage tactiques supplementaires en v8Gravatar herbelin2003-09-05
* Impression sans ',' des constructeurs de meme type, pour v8Gravatar herbelin2003-09-05
* Relachement conflit 'with' dans le cas des Module with DefinitionGravatar herbelin2003-09-02
* 'Assumptions' sur le modèle général des lieursGravatar herbelin2003-08-31
* Affichage des inductifs en v8Gravatar herbelin2003-08-31
* Pb de mot-cleGravatar herbelin2003-08-14
* Ajout token '!' pour correctnessGravatar herbelin2003-08-14
* Enregistrement tuple_constrGravatar herbelin2003-08-14
* Nouvelle mouture du traducteur v7->v8Gravatar herbelin2003-08-11
* Bug compilationGravatar herbelin2003-06-20
* Ajout 'Symmetry in Hyp'Gravatar herbelin2003-06-19