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

[Gerwin Klein]

> On 14.10.2015, at 05:56, Makarius <makarius at sketis.net> 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.