[isabelle-dev] Vampire

Lawrence Paulson lp15 at cam.ac.uk
Fri Jul 6 17:20:43 CEST 2018

> On 4 Jul 2018, at 11:11, Blanchette, J.C. <j.c.blanchette at vu.nl> wrote:
>> I’m at home today so don’t have access to that file.
> Please send it to me once you have a chance.

It seems that I did finally succeed in getting the option set. My guess is that the Mac app doesn't necessarily save settings, depending on whether you exit with Isabelle > Quit Isabelle or File > Exit. And I’m not sure which one of these is supposed to work.

> But even if I somehow misspelt “yes” five times,
> But maybe you wrote "true" five times?

certainly not.

More information about the isabelle-dev mailing list