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
----------------------------------------------------------------------------
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
