nipkow at in.tum.de
Fri Jul 6 17:36:59 CEST 2018
On 06/07/2018 17:20, Lawrence Paulson wrote:
>> 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.
I have stopped using Isabelle > Quit Isabelle (cmd-Q) because it does not ask
you if you want to save modified files; it doesn't save them but creates
autosave files. Quite possibly it does not save settings either.
>> But even if I somehow misspelt “yes” five times,
>> But maybe you wrote "true" five times?
> certainly not.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5581 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev