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
