[isabelle-dev] Mac OS X quit handler (COMMAND-Q)
makarius at sketis.net
Fri Feb 1 15:34:05 CET 2013
this is specifically for those used to be hooked to some Isabelle
repository version, where there is also a strong correlation with Mac OS.
Officially we are now at Isabelle2013-RC2. For the coming
Isabelle2013-RC3, and then hopefully the final Isabelle2013, I made a
somewhat critical change for Mac OS X / Java here:
It means that closing the application should invoke the normal shutdown
procedure of jEdit, where the user has a chance to say what to do with
changed files. It could also mean that Apple or Oracle will bomb the
thing in certain situations, who knows.
See also the tracker item #2 here
(So far the tracker was de-facto a private scratchpad of myself and
More information about the isabelle-dev