-
Alexander Weigl authored
* 'master' of git.scc.kit.edu:xt9634/ProofScriptParser: Highlighting of node in proof tree, interactive mode now working a bit better Bugfix that removed/expanded nodes were still in state due to selectedGoalNode field
a006bc8f