To have a better workflow and ease the navigation inside the theory one is working on, one can collapse proofs and instantiations using the *Folding* menu of jEdit and then *Collapse Fold* (check *Expand Fold* for the reverse operation).

It's convenient when one has a long theory and one needs to move back and forth between definitions/lemmas.

Note that the folds do not survive beyond the session.

Be careful when commenting out something that is folded. Best is to expand it fully before commenting it out otherwise it can lead to very strange effects.

Last updated: Aug 15 2022 at 02:13 UTC