[isabelle-dev] Isabelle/jEdit: JVM crash

[Makarius]

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.


 	Makarius

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