fixed copoy/past error in cosim protocol version (now the value is 3.0.0 as it should be)
Merge remote-tracking branch 'origin/test' into kel/base
Handle unsupported definitions using defaultPDefinition visitor method
Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/ahm' into sdf
added logging to decode of cosim protocol v3 + fixed wrong module in channel name which made the channel lookup fail when trying to insert the correct type for the channel
Merge remote-tracking branch 'origin/ahm' into sdf
Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/ahm' into sdf
Merge remote-tracking branches 'origin/rjp' and 'origin/sdf' into jwc/base
Comment out System.err.println when setting values in delayed contexts.
Fix dependencies for maven build of the refinement tool
Update examples bundle to svn7442
Clear out the tools/ directory: nothing in there is current (or used!)
Fix dependencies for maven build of the refinement tool (really!)
Added code to allow Maude to work on Windows. The only thing extra we need to do is covert the cml-refine.maude path to Cygwin format.
Merge branch 'origin/sdf'
Added automatic setup for cml-refine.maude when it's located in the Symphony directory
Merge branch 'origin/sdf'