On 04/07/18 12:11, Blanchette, J.C. wrote: > > I just copied old code I inherited from Sascha Böhm and his Vampire > noncommercial.
I only vaguely remember when we introduced the original non-commercial settings variable for Z3, even with some insider joke about Microsoft: changing the value required a reboot of the Isabelle application. Later it became a system option for change at run-time, not boot-time. I don't remember the reason for its "tristate logic", with "unknown" as default. If you make it a plain bool with false as default, users can just click on a checkbox in Isabelle/jEdit Plugin options. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev