[isabelle-dev] Use HTTPS for components

Makarius makarius at sketis.net
Thu Jul 14 12:47:24 CEST 2016

On 13/07/16 13:21, Lawrence Paulson wrote:
> I’m not sure that digitally signed components are really something to work on now.

I've asked myself this question occasionally, just to get rid of
additional user interaction when running the main Isabelle application
for the first time on Mac OS X or Windows. I.e. system dialogs like "I
really want to run this application, even though it is not signed by the

In general, code signing and app-stores do not seem to add much
security, e.g. see the recent ransomware incident:

We should work towards a safer internet: by de-escalating global aggression.


More information about the isabelle-dev mailing list