Re: [isabelle-dev] Mac OS X 10.11 (El Capitan)
> On 14.10.2015, at 05:56, Makarius wrote: > > On Tue, 13 Oct 2015, Larry Paulson wrote: > >> 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. > > In theory it should be like that. In practice, the app did not come up in > the first "open" invocation: after a long timeout it died. > > Current operating systems are very hostile to applications that are not yet > known to the NSA. I’m pretty sure that Isabelle is well known to the NSA ;-) Cheers, Gerwin The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Mac OS X 10.11 (El Capitan)
On Tue, 13 Oct 2015, Larry Paulson wrote: 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. In theory it should be like that. In practice, the app did not come up in the first "open" invocation: after a long timeout it died. Current operating systems are very hostile to applications that are not yet known to the NSA. Makarius___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Mac OS X 10.11 (El Capitan)
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 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-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] Mac OS X 10.11 (El Capitan)
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