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

Makarius makarius at sketis.net
Tue Oct 13 20:56:10 CEST 2015

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.


More information about the isabelle-dev mailing list