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
Merge remote-tracking branches 'origin/rjp' and 'origin/uwe' into jwc/base