Merge branch 'origin/sdf'
Merge branch 'origin/test'
Simplified TP and POG context menus, and removed Z3 check box due to change in current Isabelle/Eclipse
Merge commit '8c5c2ad9050b02698754b95d5eeac53247ab4644' into rjp
Added seq-left-identity refinement law.
Added sequential composition to pretty printer.
Added an equality law in the form of two refinement laws (LLL-lr and LLL-rl) for the left to right and right to left applications.

Fixed the issue with & not showing. It is a limitation of eclipse labels. Before returning the details of a law, I'm replacing each & by &&, which is the escaped form accepted by the widget.
Added the copy rule for both simple action calls and parametrised actions (including val, res and vres parameters). I had to implement this as a progammatic rule because I needed access to the ast to recover the definition of the action.
Added the copy rule for both simple action calls and parametrised actions (including val, res and vres parameters). I had to implement this as a progammatic rule because I needed access to the ast to recover the definition of the action.
Added action replacement and subaction checking.
Added refinement of action declaration.
Added refinement of implicit recursion to explicit recursion (need to add selection of recursion action name).
Merge commit '330f37f9fc71109c3564e3b42b6eee7db744cfcc' into rjp
Bug fixing in TP visitor
Merge commit '921bffd6c784f7ccd230c1f3013c02d5d7be7d83' into rjp
close #281 relaxed uniqueness check such that definitions inside processes and classes can have the same name.
added more test info for cosim tests in the interpreter + removed sysout in the cosim client
enabled class bodies to include operations in s2c (now possible to fix #281)
Merge remote-tracking branch 'origin/test' into kel/base
close #225 changed overture to do proper location compare in Environment

overture sync required: overturetool/overture@e4b68814ce23d8f4b90e2538fd7f88a44089d660

@joey-coleman we need compass the overture branches to be moved up for this fix to take place
Modifications to handle parameters in another example from Insiel.
merge RTT-Plugin Development into COMPASS repository:
- fixes for replay: upload and download *.rttdoc files
- changed order of replay and doc commands.
- disable replay for test procedures without matching test procedure generation context.
Merge remote-tracking branches 'origin/uwe', 'origin/acf', 'origin/kel/base', 'origin/rjp' and 'origin/ahm' into jwc/base