src/Pure/Syntax/syntax_trans.ML
Mon, 27 May 2013 13:55:04 +0200 wenzelm tuned;
Sun, 26 May 2013 22:47:00 +0200 wenzelm position constraint for bound dummy -- more PIDE markup;
Sat, 25 May 2013 16:55:27 +0200 wenzelm tuned;
Sat, 25 May 2013 15:37:53 +0200 wenzelm syntax translations always depend on context;
Thu, 16 May 2013 21:48:01 +0200 wenzelm more system options as context-sensitive config options;
Tue, 09 Apr 2013 13:24:00 +0200 wenzelm more robust static structure reference, avoid dynamic Proof_Context.intern_skolem in Syntax_Phases.decode_term;
Sat, 29 Sep 2012 18:23:46 +0200 wenzelm more explicit Syntax_Trans.mark_bound_abs/mark_bound_body: preserve type information for show_markup;
Mon, 16 Jan 2012 21:50:15 +0100 wenzelm position constraints for numerals enable PIDE markup;
Mon, 07 Nov 2011 16:41:16 +0100 wenzelm discontinued numbered structure indexes (legacy feature);
Fri, 23 Sep 2011 14:13:15 +0200 wenzelm default print mode for Isabelle/Scala, not just Isabelle/jEdit;
Mon, 22 Aug 2011 23:39:05 +0200 wenzelm special treatment of structure index 1 in Pure, including legacy warning;
Mon, 22 Aug 2011 20:00:04 +0200 wenzelm tuned message;
Mon, 22 Aug 2011 17:10:22 +0200 wenzelm old-style numbered structure index is legacy feature (hardly ever used now);
Wed, 17 Aug 2011 18:05:31 +0200 wenzelm modernized signature of Term.absfree/absdummy;
Thu, 09 Jun 2011 17:51:49 +0200 wenzelm simplified Name.variant -- discontinued builtin fold_map;
Tue, 26 Apr 2011 21:05:52 +0200 wenzelm clarified auxiliary structure Lexicon.Syntax;
Fri, 08 Apr 2011 15:02:11 +0200 wenzelm discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext);
Fri, 08 Apr 2011 13:31:16 +0200 wenzelm explicit structure Syntax_Trans;
less more (0) tip