| 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
|