Re: [isabelle-dev] NEWS: Indentation according to Isabelle outer syntax

This is another update according (presently at Isabelle/2033a3960c36): * Syntactic indentation according to Isabelle outer syntax. Action "indent-lines" (shortcut C+i) indents the current line according to command keywords and some command substructure. Action "isabelle.newline" (shortcut ENTER)

Re: [isabelle-dev] Use HTTPS for components

I’m not sure that digitally signed components are really something to work on now. Are we really concerned about malicious attacks against our servers? Larry > On 13 Jul 2016, at 00:56, Gerwin Klein wrote: > > I agree, we should do that. > > Ideally, we should

Re: [isabelle-dev] Use HTTPS for components

On 13/07/16 00:28, Lars Hupel wrote: > > Because we don't sign components, we should at least make them available > over HTTPS. This is the bare minimum according to security best practices. > > Potential disadvantage: Fetching from HTTPS using Perl's libwww requires > an addon package