Before 'Parse and Prove' is clicked, the tabs where the proof trees and parse tables will appear are empty. As per #78 there is a message with some help text, but ideally this should be outfactored and used in both tabs.
A new component is perhaps a bit too much. Slots/transclusion is also an option.
Before 'Parse and Prove' is clicked, the tabs where the proof trees and parse tables will appear are empty. As per #78 there is a message with some help text, but ideally this should be outfactored and used in both tabs.
A new component is perhaps a bit too much. Slots/transclusion is also an option.