[isabelle-dev] Isabelle/jEdit: JVM crash

Makarius makarius at sketis.net
Tue Dec 9 21:56:03 CET 2014

On Tue, 9 Dec 2014, Christian Sternagel wrote:

>> >  Z3_NON_COMMERCIAL="yes"
>>  You can remove that and use option preferences instead, e.g. see
>>  Isabelle/jEdit plugin properties: Isabelle / General / Miscellaneous
>>  Tools / Z3 Non Commercial.
> Roger that. Out of curiosity, where are such options actually serialized?

This works via Options.load_prefs and Options.save_prefs.  The resulting 
file is $ISABELLE_HOME_USER/etc/preferences in plain text format with some 
Isabelle outer syntax.  Note that editing it while Isabelle/jEdit is 
running does not make sense, due to lost update on shutdown.


                   https://stop-ttip.org/1,120,204 people so far

More information about the isabelle-dev mailing list