[isabelle-dev] NEWS: option system_heaps
makarius at sketis.net
Fri Mar 1 21:46:47 CET 2019
*** Isabelle/jEdit Prover IDE ***
* 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".
*** 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.
This refers to Isabelle/cc0b3e177b49.
Short version: "isabelle build -s" is now "isabelle build -o
system_heaps", and various other command-lines have been simplified. It
is also possible to provide system_heaps via etc/preferences.
More information about the isabelle-dev