Last Version

Overture IDE Eclipse CSK VDM Tools Link feature 3.0.2

Providing GUI for all integrated core plugins

License	License GNU General Public License (GPL) version 3
Categories	Categories IDE Development Tools
GroupId	GroupId org.overturetool.ide.plugins.features
ArtifactId	ArtifactId org.overture.ide.plugins.features.csk
Version	Version 3.0.2
Type	Type eclipse-feature
Description	Description Overture IDE Eclipse CSK VDM Tools Link feature Providing GUI for all integrated core plugins
Project Organization	Project Organization Overture

Download org.overture.ide.plugins.features.csk 3.0.2

Filename	Size
org.overture.ide.plugins.features.csk-3.0.2.pom
org.overture.ide.plugins.features.csk-3.0.2.jar	4 KB
org.overture.ide.plugins.features.csk-3.0.2-p2metadata.xml	6 KB
org.overture.ide.plugins.features.csk-3.0.2-p2artifacts.xml	682 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.