Started development of the plugin for the Recovery Mechanisms Verification
Initial version of the RMV IDE plugin
Added Startup extension
Added jobs and the main view
Added icon and modified resources.
First draft of main view
Implemented jobs.
Renamed to "Fault Tolerance".
Merge branch 'development' of ssh://andredidier@git.code.sf.net/p/compassresearch/code into alrd
Implementing verification and markers...
Merge branch 'development' into alrd
Reverting changes
Updated version.
Prototype FT version working
Removed unused icon, updated icons.
Cleaned classes, updated messages, started development of unique markers and quick fix.
Implemented limit expression input
Removed startup configuration.
First adjustments to graph builder to handle time constructs.
Merge remote-tracking branch 'origin/development' into akm