diff -r b8cd7ea34e33 -r a6c0f2d106c8 NEWS
--- a/NEWS	Tue Sep 10 14:40:00 2019 +0100
+++ b/NEWS	Wed Sep 11 16:06:10 2019 +0200
@@ -10,9 +10,10 @@
 *** 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).
+of theory files. Directories cannot be shared by different sessions.
+(Recall that import of theories from other sessions works via
+session-qualified theory names, together with suitable 'sessions'
+declarations in the ROOT.)
 
 * Internal derivations record dependencies on oracles and other theorems
 accurately, including the implicit type-class reasoning wrt. proven