- fixed file upload problem for test procedures on windows.
- display LivelockReport.log file after model file import.
Merge commit '16cdb04768c936f0c7ea3012ddef32dcdc767e5e' into uwe
adjusted sequence of tool buttons and menu items
- fixed: doc-test is not working on windows
- fixed: create project is not working on windows.
- fixed: open covered_testcases on windows
- fixed: new RTT-MBT component: templates not found on windows
Merge remote-tracking branch 'origin/uwe' into development
Bump to use Overture 2.0.7-SNAPSHOT
Merge remote-tracking branch 'origin/development' into sdf
Added required views to the refinement perspective and a basic refinement action which will eventually populate the refinement law list.
Added some basic refinement laws which can be applied.
Added the handler which performs a refinement to the CML editor.
Added some basic laws to deal with choice.
Added a basic law to handle implicit operation refinement
Merge branch 'origin/sdf'