NEWS
changeset 66712 4c98c929a12a
parent 66688 ebb97a834338
child 66729 1da2ef1fd8c1
     1.1 --- a/NEWS	Thu Sep 28 11:53:55 2017 +0200
     1.2 +++ b/NEWS	Thu Sep 28 15:11:32 2017 +0200
     1.3 @@ -7,6 +7,14 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +*** General ***
     1.8 +
     1.9 +* Session-qualified theory names are mandatory: it is no longer possible
    1.10 +to refer to unqualified theories from the parent session.
    1.11 +INCOMPATIBILITY for old developments that have not been updated to
    1.12 +Isabelle2017 yet (using the "isabelle imports" tool).
    1.13 +
    1.14 +
    1.15  *** HOL ***
    1.16  
    1.17  * SMT module: