Getting the source code.

You can download the source code of the Maude Development Tools from our public CVS server. This server allows anonymous connections to get the code that we have published.

From the CVS server.

All that you need to know to connect to our CVS is:

If you don't know how to import a plug-in from a CVS server in Eclipse, please read the detailed instructions.

From the installed plugins.

Each plugin also includes the source code that has been built to obtain a concrete version.

To get the code from the installed plugin you can follow these steps.