Back to workflows, Menu.

Abstract¶

Automatic tracking of lemma trees, MOC trees and other trees, all displayed in a side panel.

Instructions¶

1. Install the plugin "Breadcrumbs".
2. Under the hierarchy dropdown, click "+" and in order, put "lemma", "same", "corollary", "strengthenresult", "weakenassumptions"
3. The two last relations describe results that can be chained together.
4. Click "+" again
5. In order: "MOC", "sibling", "item".
6. Customize the above hierarchies to your liking!
7. Run command (Cmd+P) "Breadcrumbs:open down view". Drag and drop the view to the desired position.
8. Run command (Cmd+P) "Breadcrumbs:open matrix view". Drag and drop the view to the desired position.
9. Run command "Workspaces: save layout".