> 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. > 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