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
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