aboutsummaryrefslogtreecommitdiff
path: root/parsing/ast.ml
AgeCommit message (Expand)Author
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 17:27:13 +0000