-
Lulu Luong authored
Dummygoalsnodes are visible no script executed -> no nullpointer symbex leads to infinity loop remove scriptpanel in prooftree matchexpression shown TODO: foreach start shown but still missing end icon for scripttree needs to be included
afe30047