[isabelle-dev] Mac OS X 10.11 (El Capitan)
makarius at sketis.net
Tue Oct 13 16:32:23 CEST 2015
Apple has released OS X 10.11 (El Capitan) recently.
I have updated my test machine some days ago and made a few sanity checks.
So far the situation looks good concerning Isabelle. A test version is
available here: http://www4.in.tum.de/~wenzelm/test/Isabelle_07-Oct-2015
Are there further observations from full-time users of Mac OS X?
We shall probably also shift our base-line of supported OS X versions from
10.7 (Lion) to 10.8 (Mountain Lion). See also
Another note on the OS X "app": I've recently experimented with a current
fork of the JavaAppLauncher https://bitbucket.org/infinitekind/appbundler
that also supports file associations. It somehow worked, but only after
one failed attempt to start the application for the very first time,
probably due to the lack of signed application.
In http://isabelle.in.tum.de/repos/isabelle/rev/9b4843250e1c I have
reverted this experiment -- users need to be able to start-up properly
after a fresh download of Isabelle.
If there is anybody who knows how to get this right, and maybe even has
official OS X developer credentials for signed application, we could try
again with the new launcher.
More information about the isabelle-dev