NEWS
changeset 63343 fb5d8a50c641
parent 63310 caaacf37943f
child 63350 705229ed856e
child 63352 4eaf35781b23
     1.1 --- a/NEWS	Tue Jun 21 17:35:45 2016 +0200
     1.2 +++ b/NEWS	Wed Jun 22 10:09:20 2016 +0200
     1.3 @@ -132,6 +132,10 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Former locale lifting_syntax is now a bundle, which is easier to
     1.8 +include in a local context or theorem statement, e.g. "context includes
     1.9 +lifting_syntax begin ... end". Minor INCOMPATIBILITY.
    1.10 +
    1.11  * Code generation for scala: ambiguous implicts in class diagrams
    1.12  are spelt out explicitly.
    1.13