[isabelle-dev] Mac OS X 10.11 (El Capitan)

[Larry Paulson]

I have also upgraded and I find that everything still works the same as before.

The only restriction on an unsigned application is that the first time you open it, you need to select the “open” menu item rather than simply double-clicking on some file. Then you need to confirm that you want the application to open.

It would certainly be nice to be able to open a theory file simply by double-clicking on it. A long time ago, I had this working by some low level hack, but I haven’t been able to reproduce it.

Larry

> On 13 Oct 2015, at 15:32, Makarius <makarius at sketis.net> wrote:
> 
> 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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev