--- 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.