src/Pure/Syntax/syntax_trans.ML
2014-03-21 wenzelm 2014-03-21 more qualified names;
2014-03-21 wenzelm 2014-03-21 more qualified names;
2014-03-06 wenzelm 2014-03-06 tuned signature;
2013-05-27 wenzelm 2013-05-27 tuned;
2013-05-26 wenzelm 2013-05-26 position constraint for bound dummy -- more PIDE markup;
2013-05-25 wenzelm 2013-05-25 tuned;
2013-05-25 wenzelm 2013-05-25 syntax translations always depend on context;
2013-05-16 wenzelm 2013-05-16 more system options as context-sensitive config options;
2013-04-09 wenzelm 2013-04-09 more robust static structure reference, avoid dynamic Proof_Context.intern_skolem in Syntax_Phases.decode_term;
2012-09-29 wenzelm 2012-09-29 more explicit Syntax_Trans.mark_bound_abs/mark_bound_body: preserve type information for show_markup;
2012-01-16 wenzelm 2012-01-16 position constraints for numerals enable PIDE markup;
2011-11-07 wenzelm 2011-11-07 discontinued numbered structure indexes (legacy feature);
2011-09-23 wenzelm 2011-09-23 default print mode for Isabelle/Scala, not just Isabelle/jEdit;
2011-08-22 wenzelm 2011-08-22 special treatment of structure index 1 in Pure, including legacy warning;
2011-08-22 wenzelm 2011-08-22 tuned message;
2011-08-22 wenzelm 2011-08-22 old-style numbered structure index is legacy feature (hardly ever used now);
2011-08-17 wenzelm 2011-08-17 modernized signature of Term.absfree/absdummy; eliminated obsolete Term.list_abs_free;
2011-06-09 wenzelm 2011-06-09 simplified Name.variant -- discontinued builtin fold_map;
2011-04-26 wenzelm 2011-04-26 clarified auxiliary structure Lexicon.Syntax;
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;