Last Version

org.overture.ide.vdmrt.ui 3.0.2

Top level of the Overture IDE for VDM-RT

License	License GNU General Public License (GPL) version 3
Categories	Categories IDE Development Tools
GroupId	GroupId org.overturetool.ide.vdmrt
ArtifactId	ArtifactId org.overture.ide.vdmrt.ui
Version	Version 3.0.2
Type	Type eclipse-plugin
Description	Description org.overture.ide.vdmrt.ui Top level of the Overture IDE for VDM-RT
Project Organization	Project Organization Overture

Download org.overture.ide.vdmrt.ui 3.0.2

Filename	Size
org.overture.ide.vdmrt.ui-3.0.2.pom
org.overture.ide.vdmrt.ui-3.0.2.jar	28 KB
org.overture.ide.vdmrt.ui-3.0.2-sources.jar	19 KB
org.overture.ide.vdmrt.ui-3.0.2-p2metadata.xml	2 KB
org.overture.ide.vdmrt.ui-3.0.2-p2artifacts.xml	564 bytes
Browse

Dependencies

test (1)

Group / Artifact	Type	Version
junit : junit	jar	3.8.1

Project Modules

There are no modules declared in this project.