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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev