changeset 43110 | e48baf91aeab |
parent 43089 | 3bf2eea43dac |
parent 43107 | 578a51fae383 |
child 43122 | 12fe41a92cd5 |
1.1 --- a/NEWS Tue Apr 05 11:44:34 2011 +0200 1.2 +++ b/NEWS Tue Apr 05 15:15:33 2011 +0200 1.3 @@ -93,6 +93,10 @@ 1.4 be disabled via the configuration option Syntax.positions, which is 1.5 called "syntax_positions" in Isar attribute syntax. 1.6 1.7 +* Discontinued special treatment of structure Ast: no pervasive 1.8 +content, no inclusion in structure Syntax. INCOMPATIBILITY, refer to 1.9 +qualified names like Ast.Constant etc. 1.10 + 1.11 1.12 1.13 New in Isabelle2011 (January 2011)