License |
License |
---|---|
Categories |
CategoriesIDE Development Tools |
GroupId | GroupIdorg.overturetool.ide.vdmrt |
ArtifactId | ArtifactIdorg.overture.ide.vdmrt.core |
Last Version | Last Version3.0.2 |
Release Date | Release Date |
Type | Typeeclipse-plugin |
Description |
Descriptionorg.overture.ide.vdmrt.core
Top level of the Overture IDE for VDM-RT
|
Project Organization |
Project Organization |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 3.8.1 |