Re: [isabelle-dev] Use HTTPS for components

I agree, we should do that. Ideally, we should actually sign those components. The downloading/receiving/checking side is not too hard to automate, but it would require entering the private key keyphrase when you are signing (providing) a new component. Cheers, Gerwin > On 13 Jul 2016, at

[isabelle-dev] Use HTTPS for components

Dear Isabelle developers, all of the critical Isabelle infrastructure (even website mirrors) is reachable via HTTPS. For Jenkins, it's not so important. For executable code, it is very important. Hence I would like to propose a simple change in the global "etc/settings":

[isabelle-dev] NEWS: refined folding mode "isabelle"

*** Prover IDE -- Isabelle/Scala/jEdit *** * Refined folding mode "isabelle" based on Isar syntax: 'next' and 'qed' are treated as delimiters for fold structure. This refers to Isabelle/f10feaa9b14a. Makarius ___ isabelle-dev mailing list

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

This is the updated situation according to Isabelle/019856db2bb6: *** Prover IDE -- Isabelle/Scala/jEdit *** * Improved support for indentation according to Isabelle outer syntax. Action "indent-lines" (shortcut C+i) indents the current line according to command keywords and some command

Re: [isabelle-dev] Simplification theorems with more general typeclasses

For the record, I have now pushed the change to Isabelle, see http://isabelle.in.tum.de/reports/Isabelle/rev/3365c8ec67bd . Mathias > On 05 Jul 2016, at 14:03, Mathias Fleury wrote: > > Hi all, > >