rodin 2.8 compatibility: execution environment set to java 6
debugging output, check node status
refactoring: generate list of tasks
skip theory provers for now
add prover / sequent selection dialogs
getter for proof status
working on output dialog
group by sequent not by prover
shorten prover name
better output