[isabelle-dev] Folding in Isabelle/jEdit

Lars Noschinski noschinl at in.tum.de
Wed Jan 14 14:04:54 CET 2015


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

More information about the isabelle-dev mailing list