Stream: General

Topic: folds

view this post on Zulip Anthony Bordg (Jul 26 2019 at 16:59):

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.

view this post on Zulip Hanna Lachnitt (Aug 22 2019 at 12:22):

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