aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/ast.ml
Commit message (Expand)AuthorAge
* HUGE COMMITGravatar sacerdot2005-01-03
* 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
* meilleure presentation des commentaires du traducteurGravatar barras2004-01-02
* Renommage CMeta en CPatVar qui sert à saisir les PMeta de PatternGravatar herbelin2003-05-19
* *** empty log message ***Gravatar barras2003-03-12
* 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
* 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
* Réparation d'un bug qui considérait les composantes d'un QUALIDGravatar herbelin2002-07-30
* Généralisation des syntaxes ': T := t', ':= t : T', ': T', ':= t' pourGravatar herbelin2002-07-11
* 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
* nouvel algo de conversion plus uniformeGravatar barras2001-11-29
* ParsingGravatar herbelin2001-08-10
* entetesGravatar filliatr2001-03-15
* Extension coerce_to_varGravatar herbelin2001-02-05
* Prise en compte des noms longs dans les Hints et les CoercionsGravatar herbelin2001-01-24
* Bug dans les alias de CasesGravatar herbelin2000-12-14
* section_path etait en fait bonne dans ast et buggee dans printer.mlGravatar herbelin2000-12-06
* 2ème bug de traduction des PathGravatar herbelin2000-12-06
* Bug de traduction des PathGravatar herbelin2000-12-06
* Prise en compte constructeur QUALID pour noms qualifiésGravatar herbelin2000-11-20
* Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...Gravatar herbelin2000-07-28
* Intégration initiale du CasesGravatar herbelin1999-12-11
* Suppression Rel de rawconstr et correction de bugs d'affichageGravatar herbelin1999-12-10
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* portage Astterm (partiellement)Gravatar filliatr1999-11-29
* module Classops; ajout de fonctions dans Declare en consequenceGravatar filliatr1999-11-26
* module TermastGravatar filliatr1999-11-26
* modules Ast et PcoqGravatar filliatr1999-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-22 05:38:00 +0000