• Lulu Luong's avatar
    Bug fixed: · afe30047
    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