The SVN repository of the Maude Development Tools has been reorganized!

The original code of the MDT can be found at http://mdt.svn.sourceforge.net/viewvc/mdt/mdt/. The folder maudews (http://mdt.svn.sourceforge.net/viewvc/mdt/maudews/) contains the Maude Workstation tool, a fork of the original MDT project which adds some views and new functionality. MaudeWorkstation is provided only as source code for developers, as we do not still provide compiled versions. We plan to integrate both MDT and Maude workstation in a single product, and a refactor and cleanup of the Maude Workstation plugins is still needed.