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.
Merged with origin/development. Working (partially) with the second exemple of Insiel.
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
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Bug fixing in TP visitor
Merge commit '921bffd6c784f7ccd230c1f3013c02d5d7be7d83' into rjp
Small improvements to handle parameters in model checker.
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