aboutsummaryrefslogtreecommitdiff
path: root/parsing/ast.mli
AgeCommit message (Expand)Author
2005-12-26Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...herbelin
2005-01-03HUGE COMMITsacerdot
2004-11-16Names.substitution (and related functions) and Term.subst_mps moved tosacerdot
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
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-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-08-10Parsingherbelin
2001-03-15entetesfilliatr
2000-12-14Bug dans les alias de Casesherbelin
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
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 Termastfilliatr
1999-09-08modules Ast et Pcoqfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 01:25:49 +0000