--- a/NEWS Sun Sep 08 16:49:32 2019 +0200
+++ b/NEWS Sun Sep 08 17:15:46 2019 +0200
@@ -9,6 +9,11 @@
*** General ***
+* Session ROOT files need to specify explicit 'directories' for import
+of theory files. Directories that are used by different sessions should
+be avoided, but may be specified as 'overlapping' (this affects formal
+theory names in the Prover IDE).
+
* Internal derivations record dependencies on oracles and other theorems
accurately, including the implicit type-class reasoning wrt. proven
class relations and type arities. In particular, the formal tagging with