[isabelle-dev] NEWS: option system_heaps

Makarius 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 mailing list