文件名称：Maude Development Tools-开源
文件大小：2.24MB
文件格式：ZIP
更新时间：2024-05-15 18:46:37
开源软件
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