NEWS
changeset 67013 335a7dce7cb3
parent 66994 38fd865aae45
child 67043 848672fcaee5
     1.1 --- a/NEWS	Sun Nov 05 16:57:03 2017 +0100
     1.2 +++ b/NEWS	Sun Nov 05 17:45:17 2017 +0100
     1.3 @@ -14,6 +14,9 @@
     1.4  INCOMPATIBILITY for old developments that have not been updated to
     1.5  Isabelle2017 yet (using the "isabelle imports" tool).
     1.6  
     1.7 +* Theory header 'abbrevs' specifications need to be separated by 'and'.
     1.8 +INCOMPATIBILITY.
     1.9 +
    1.10  * Only the most fundamental theory names are global, usually the entry
    1.11  points to major logic sessions: Pure, Main, Complex_Main, HOLCF, IFOL,
    1.12  FOL, ZF, ZFC etc. INCOMPATIBILITY, need to use qualified names for