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