src/Pure/Syntax/syntax_phases.ML
2011-04-16 wenzelm 2011-04-16 prefer local name spaces; tuned signatures; tuned;
2011-04-16 wenzelm 2011-04-16 Name_Space: proper configuration options long_names, short_names, unique_names instead of former unsynchronized references;
2011-04-08 wenzelm 2011-04-08 unparse: more accurate markup for syntax consts, notably binders;
2011-04-08 wenzelm 2011-04-08 more accurate markup for syntax consts, notably binders which point back to the original logical entity; tuned;
2011-04-08 wenzelm 2011-04-08 CONST syntax with positions;
2011-04-08 wenzelm 2011-04-08 moved CONST syntax/translations to their proper place;
2011-04-08 wenzelm 2011-04-08 simplified Pure syntax bootstrap;
2011-04-08 wenzelm 2011-04-08 discontinued special treatment of structure Lexicon;
2011-04-08 wenzelm 2011-04-08 discontinued special status of structure Printer;
2011-04-08 wenzelm 2011-04-08 discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext); clarified Syntax.root;
2011-04-08 wenzelm 2011-04-08 explicit structure Syntax_Trans; discontinued old-style constrainAbsC;
2011-04-07 wenzelm 2011-04-07 report literal tokens according to parsetree head; some attempts to stack parsetrees in proper order;
2011-04-07 wenzelm 2011-04-07 simplified read_term vs. read_prop;
2011-04-07 wenzelm 2011-04-07 simplified printer context: uniform externing and static token translations;
2011-04-06 wenzelm 2011-04-06 separate structure Term_Position; dismantled remains of structure Type_Ext;
2011-04-06 wenzelm 2011-04-06 eliminated slightly odd Syntax.rep_syntax;
2011-04-06 wenzelm 2011-04-06 more abstract print translation;
2011-04-06 wenzelm 2011-04-06 more abstract syntax translation;
2011-04-06 wenzelm 2011-04-06 tuned;
2011-04-06 wenzelm 2011-04-06 explicit Syntax.tokenize, Syntax.parse;
2011-04-06 wenzelm 2011-04-06 eliminated odd object-oriented type_context/term_context; export ProofContext.intern_skolem;
2011-04-06 wenzelm 2011-04-06 simplified standard parse/unparse;
2011-04-06 wenzelm 2011-04-06 discontinued old-style Syntax.constrainC;
2011-04-06 wenzelm 2011-04-06 typed_print_translation: discontinued show_sorts argument;
2011-04-06 wenzelm 2011-04-06 moved unparse material to syntax_phases.ML;
2011-04-06 wenzelm 2011-04-06 renamed Standard_Syntax to Syntax_Phases;