[isabelle-dev] Vampire

Tobias Nipkow 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
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5581 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180706/d1cc6cca/attachment.bin>

More information about the isabelle-dev mailing list