> On 14.10.2015, at 05:56, Makarius <makar...@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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
