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