Anthony Bordg (Jul 26 2019 at 16:59): 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.
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: Apr 25 2024 at 04:18 UTC