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;
|
file |
diff |
annotate
|
Mon, 16 Jan 2012 21:50:15 +0100 |
wenzelm |
position constraints for numerals enable PIDE markup;
|
file |
diff |
annotate
|
Mon, 07 Nov 2011 16:41:16 +0100 |
wenzelm |
discontinued numbered structure indexes (legacy feature);
|
file |
diff |
annotate
|
Fri, 23 Sep 2011 14:13:15 +0200 |
wenzelm |
default print mode for Isabelle/Scala, not just Isabelle/jEdit;
|
file |
diff |
annotate
|
Mon, 22 Aug 2011 23:39:05 +0200 |
wenzelm |
special treatment of structure index 1 in Pure, including legacy warning;
|
file |
diff |
annotate
|
Mon, 22 Aug 2011 20:00:04 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Mon, 22 Aug 2011 17:10:22 +0200 |
wenzelm |
old-style numbered structure index is legacy feature (hardly ever used now);
|
file |
diff |
annotate
|
Wed, 17 Aug 2011 18:05:31 +0200 |
wenzelm |
modernized signature of Term.absfree/absdummy;
|
file |
diff |
annotate
|
Thu, 09 Jun 2011 17:51:49 +0200 |
wenzelm |
simplified Name.variant -- discontinued builtin fold_map;
|
file |
diff |
annotate
|
Tue, 26 Apr 2011 21:05:52 +0200 |
wenzelm |
clarified auxiliary structure Lexicon.Syntax;
|
file |
diff |
annotate
|
Fri, 08 Apr 2011 15:02:11 +0200 |
wenzelm |
discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext);
|
file |
diff |
annotate
|
Fri, 08 Apr 2011 13:31:16 +0200 |
wenzelm |
explicit structure Syntax_Trans;
|
file |
diff |
annotate
| base
|