View updated, stylesheets management added
Stylesheets added
JGraph before re-factoring
GUI updated
Verification Results view updated
MVC updated
MVC updated with exception
MVC updated
Graphical Layout modified
Graphical interface changed
ModelChecking Brozozowski modified
Graphical interface updated