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
fixed #291 re-added post named without module set
spelling
Merge remote-tracking branch 'origin/test' into kel/base
added extra check for interpreter cosim test, stopping testing if the remote processes doesnt launch or crash
Allowing refinement of expressions
Merge branch 'origin/sdf'
Merge branch 'origin/test'
Small fixes to maude refine file and made true obligations produce nothing.
Various fixes to TP visitor classes
Merge commit '5761aff18cf81b1442ade50b53f73a543037442f' into rjp
added upload of project.rtp to 'doc test' action.
Merge commit 'f0f50a1b69c0cc80659fc1352dfb83d67c7b25b5' into uwe
formatted code
fixme case on s2c where a state machine is places inside a package and not a class as required. This fix creates a class and copies all other classes's types and properties into that new class and uses it. makes the insiel model run
fixed javadoc tags
Merge remote-tracking branches 'origin/rjp' and 'origin/uwe' into jwc/base
Merge remote-tracking branch 'origin/clausbn-distributed' into jwc/base