Merge remote-tracking branch 'refs/remotes/origin/jwc' into ahm
Merge remote-tracking branch 'origin/development' into ahm
Cleaned up PO batch submission and deletion on failure.
Fixed AST integrity bug in post condition POs.
Merge remote-tracking branch 'origin/development' into ldc/tipi
Fixed type error in adhoc model.
Move PO detail view in perspective.
Added initial setup for the new refinement plugin development.
Added a basic perspective for the refinement tool
Initial experiments on the refinement plugin
Merge branch 'origin/sdf'
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'
Added feature and update pom files to build the platform with the refinement plugin
Correction to refinement laws.