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.
Merge commit '5761aff18cf81b1442ade50b53f73a543037442f' into rjp