On 06/07/2018 17:20, Lawrence Paulson wrote:
On 4 Jul 2018, at 11:11, Blanchette, J.C. <j.c.blanche...@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.

Tobias

But even if I somehow misspelt “yes” five times,

But maybe you wrote "true" five times?

certainly not.

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to