More information and contact details.

The Maude Development Tools are distributed under the GNU Lesser General Public License and you can freely copy, distribute and modify the sources following the license guidelines. Nevertheless, if you use, distribute, modify, etc. these plugins, we will be very grateful for your comments and references to us.

You can find more information about MOMENT and the Maude Development Tools at the MOMENT portal (

The Maude Daemon plugin (es.upv.dsic.issi.moment.mdt.maudedaemon) uses the ANTLR library. See the ANTLR license, and the ANTLR source code.

You can contact us to report bugs, send comments, or request more information at aboronat _at_ or agomez _at_ Neverthelees, take into account that these tools are beta and we distribute them without any guarantee.