diff --git a/index.html b/index.html
index 7f0bdba..48eeab5 100644
--- a/index.html
+++ b/index.html
@@ -1,2 +1,2 @@
{{ name }}
checkRepresentation: {{ $store.state.tree.checkRepresentation() }}, leaves: {{ [...$store.state.tree.leaves] }}, treeOptions: {{ JSON.stringify($store.state.tree.options) }}
{{ selectedNode.getFeedback() }}
Shortcuts
Action | Shortcut |
---|
Open file | |
Save file | |
Save file as... | |
Undo | |
Redo | |
Toggle comment | |
Toggle premise | |
Add statement before | |
Add statement after | |
Create branch | |
Delete statement | |
Delete branch | |
Move up | |
Move down | |
Move up branch | |
Move down branch | |
Move up tree | |
Move down tree | |
Toggle branch expansion | |
Collapse all branches | |
Expand all branches | |
Collapse terminated branches | |
Check statement | |
Check tree | |
About Willow
Commit 035c4d0da74354572dc13d256c3eb94357dd44a7
\ No newline at end of file
+const assignment = undefined ?? undefined;{{ name }}
checkRepresentation: {{ $store.state.tree.checkRepresentation() }}, leaves: {{ [...$store.state.tree.leaves] }}, treeOptions: {{ JSON.stringify($store.state.tree.options) }}
{{ selectedNode.getFeedback() }}
Shortcuts
Action | Shortcut |
---|
Open file | |
Save file | |
Save file as... | |
Undo | |
Redo | |
Toggle comment | |
Toggle premise | |
Add statement before | |
Add statement after | |
Create branch | |
Delete statement | |
Delete branch | |
Move up | |
Move down | |
Move up branch | |
Move down branch | |
Move up tree | |
Move down tree | |
Toggle branch expansion | |
Collapse all branches | |
Expand all branches | |
Collapse terminated branches | |
Check statement | |
Check tree | |
About Willow
Commit 8f1a2a0e1231cdbf1805c27585dd9b439b19f7bc