[isabelle-dev] Folding in Isabelle/jEdit

[Lars Noschinski]

Hi,

I've played around a bit with the folding in Isabelle/jEdit (as of
533f6cfc04c0). As far as I can see, one can fold

   - the lemma statement, without the proof
   - the lemma statement, including the proof

However, my lemma statements usually consists of multiple lines (due to
being in structured syntax), so the most useful option for me would be:

   - fold the proof, keeping the lemma statement unfolded

Is such a fold available?

  -- Lars