Maude Development Tools-开源

【文件属性】：
文件名称：Maude Development Tools-开源
文件大小：2.24MB
文件格式：ZIP
更新时间：2021-04-26 00:59:57
开源软件 Maude开发工具是一组在Eclipse中嵌入maude解释器（http://maude.cs.uiuc.edu）的插件。 它提供了一个允许任何Java程序使用Maude的核心插件，以及一组提供了基于Eclipse的IDE的插件。

【文件预览】：
artifacts.jar
plugins
----es.upv.dsic.issi.moment.mdt.maudedaemon_1.4.0.jar(522KB)
----es.upv.dsic.issi.moment.mdt.maudedaemon.tests_0.1.0.jar(18KB)
----es.upv.dsic.issi.moment.mdt.help_1.1.0.jar(1.57MB)
----es.upv.dsic.issi.moment.mdt.maudesimpleGUI_2.1.0.jar(160KB)
content.jar
features
----es.upv.dsic.issi.moment.mdt_2.1.0.jar(10KB)
site.xml