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
http://isabelle.in.tum.de/repos/isabelle/file/3c69ea85f8dd/Admin/PLATFORMS#l36
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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
