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

Gerwin Klein Gerwin.Klein at nicta.com.au
Tue Oct 13 23:52:42 CEST 2015

> 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 ;-)



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.

More information about the isabelle-dev mailing list