diff -r f7c9a1be333f -r cc0b3e177b49 NEWS
--- a/NEWS	Fri Mar 01 20:16:26 2019 +0100
+++ b/NEWS	Fri Mar 01 21:29:59 2019 +0100
@@ -75,6 +75,11 @@
 the shell function "isabelle_file_format" in etc/settings (e.g. of an
 Isabelle component).
 
+* Command-line options "-s" and "-u" of "isabelle jedit" override the
+default for system option "system_heaps" that determines the heap
+storage directory for "isabelle build". Option "-n" is now clearly
+separated from option "-s".
+
 
 *** Isar ***
 
@@ -232,6 +237,11 @@
 
 *** System ***
 
+* The system option "system_heaps" determines where to store the session
+image of "isabelle build" (and other tools using that internally).
+Former option "-s" is superseded by option "-o system_heaps".
+INCOMPATIBILITY in command-line syntax.
+
 * The command-line tool "isabelle update" uses Isabelle/PIDE in
 batch-mode to update theory sources based on semantic markup produced in
 Isabelle/ML. Actual updates depend on system options that may be enabled