diff -r 92050155593e -r c0341c0080e2 NEWS
--- a/NEWS	Sat May 19 14:52:01 2018 +0200
+++ b/NEWS	Sat May 19 15:45:45 2018 +0200
@@ -351,6 +351,12 @@
 
 *** System ***
 
+* Settings ISABELLE_PATH and ISABELLE_OUTPUT have been discontinued:
+heap images and session databases are always stored in
+$ISABELLE_HOME_USER/heaps/$ML_IDENTIFIER (command-line default) or
+$ISABELLE_HOME/heaps/$ML_IDENTIFIER (main Isabelle application or
+"isabelle jedit -s" or "isabelle build -s").
+
 * The command-line tool retrieves theory exports from the session build
 database.