[isabelle-dev] Mac OS X 10.11 (El Capitan)
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