Simplified TP and POG context menus, and removed Z3 check box due to change in current Isabelle/Eclipse
Merge commit '8c5c2ad9050b02698754b95d5eeac53247ab4644' into rjp
updated the cml interpreter cosim protocol to inclulde the option to changing the protocol version to:

1.0.0 - the old one
2.0.0 - a newer onr based on the old one buth without the initial array
3.0.0 - a new custom written one. Only completed part of encoding. Missing types/values
Merge remote-tracking branch 'origin/test' into kel/base
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.
Add created external processes to the processes list, so that they can
be killed after test runs (and so that they don't keep killing random
processes on the build server).
Fix stray delete keystroke, restore a missing 's'
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.
Merge remote-tracking branch 'origin/ahm' into sdf
Merge remote-tracking branch 'origin/development' into sdf
enabled cosim protocol v3 decode of finish,execute, register sub, inspect reply
close #249 duplicating the implementation of the fat comp for the non-fat.
moved test for one of the tests from #249 to #261 sub
variable rename
Merged with origin/development. Working (partially) with the second exemple of Insiel.
corrected error message for fatal error (remove email)
added explicit casta to constructor call to make it explicit which constructor that is called
close #286
fixed #280 corrected the handling of transitions in [ CS || CS ] such that pairs like (c.?,c.1), when offered, merge into a single offer (c.?) and are correctly dispatched to the child behaviours when executing.

renamed method in ChannelValue isGTEQPrecise to isEquallyOrMorePrecise.
removed brackets from example