CentreForDigitalHumanities / CentreForDigitalHumanities/langpro-annotator
Syntactic parses disapear when switching to Proofs
Open
bug
- Dominant language
- TypeScript
- Stars
- 0
- Forks
- 0
- Avg merge
- 5d 11h
- Merged PRs (30d)
- 2
Description
After [Parse and prove], the syntactic parses tab displays trees.
But after viewing a proof tab and returning to the syntactic parses tab, there are no results there anymore.
It seems that the parse trees are differently "saved" on the tab than the tableau trees on the proof tabs.
Contributor guide
Assessment
This issue has not been assessed yet.