NEWS
changeset 66759 918f15c9367a
parent 66757 e32750d7acb4
child 66764 006deaf5c3dc
     1.1 --- a/NEWS	Mon Oct 02 19:38:39 2017 +0200
     1.2 +++ b/NEWS	Mon Oct 02 19:58:29 2017 +0200
     1.3 @@ -18,6 +18,10 @@
     1.4  file name, such that the Isabelle build process knows about it, but
     1.5  without specific Prover IDE management.
     1.6  
     1.7 +* Session ROOT entries no longer allow specification of 'files'. Rare
     1.8 +INCOMPATIBILITY, use command 'external_file' within a proper theory
     1.9 +context.
    1.10 +
    1.11  
    1.12  *** HOL ***
    1.13