2012-09-29 ago more explicit Syntax_Trans.mark_bound_abs/mark_bound_body: preserve type information for show_markup;
2012-01-16 ago position constraints for numerals enable PIDE markup;
2011-11-07 ago discontinued numbered structure indexes (legacy feature);
2011-09-23 ago default print mode for Isabelle/Scala, not just Isabelle/jEdit;
2011-08-22 ago special treatment of structure index 1 in Pure, including legacy warning;
2011-08-22 ago tuned message;
2011-08-22 ago old-style numbered structure index is legacy feature (hardly ever used now);
2011-08-17 ago modernized signature of Term.absfree/absdummy;
2011-06-09 ago simplified Name.variant -- discontinued builtin fold_map;
2011-04-26 ago clarified auxiliary structure Lexicon.Syntax;
2011-04-08 ago discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext);
2011-04-08 ago explicit structure Syntax_Trans;