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