aboutsummaryrefslogtreecommitdiff
path: root/parsing/ast.ml
AgeCommit message (Expand)Author
2005-12-26Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...herbelin
2005-01-03HUGE COMMITsacerdot
2004-11-16IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).sacerdot
2004-07-16Nouvelle en-têteherbelin
2004-01-02meilleure presentation des commentaires du traducteurbarras
2003-05-19Renommage CMeta en CPatVar qui sert à saisir les PMeta de Patternherbelin
2003-03-12*** empty log message ***barras
2002-11-24Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...herbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-10-13Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...herbelin
2002-08-02Modules dans COQ\!\!\!\!coq
2002-07-30Réparation d'un bug qui considérait les composantes d'un QUALIDherbelin
2002-07-11Généralisation des syntaxes ': T := t', ':= t : T', ': T', ':= t' pourherbelin
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2001-12-13compat ocaml 3.03filliatr
2001-11-29nouvel algo de conversion plus uniformebarras
2001-08-10Parsingherbelin
2001-03-15entetesfilliatr
2001-02-05Extension coerce_to_varherbelin
2001-01-24Prise en compte des noms longs dans les Hints et les Coercionsherbelin
2000-12-14Bug dans les alias de Casesherbelin
2000-12-06section_path etait en fait bonne dans ast et buggee dans printer.mlherbelin
2000-12-062ème bug de traduction des Pathherbelin
2000-12-06Bug de traduction des Pathherbelin
2000-11-20Prise en compte constructeur QUALID pour noms qualifiésherbelin
2000-07-28Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...herbelin
1999-12-11Intégration initiale du Casesherbelin
1999-12-10Suppression Rel de rawconstr et correction de bugs d'affichageherbelin
1999-12-02modifs pour premiere edition de liensfilliatr
1999-11-29portage Astterm (partiellement)filliatr
1999-11-26module Classops; ajout de fonctions dans Declare en consequencefilliatr
1999-11-26module Termastfilliatr
1999-09-08modules Ast et Pcoqfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 03:30:30 +0000