org.overture.ide.plugins.externaleditor

Providing GUI for all integrated core plugins

License

License

Categories

Categories

IDE Development Tools
GroupId

GroupId

org.overturetool.ide.plugins
ArtifactId

ArtifactId

org.overture.ide.plugins.externaleditor
Last Version

Last Version

3.0.2
Release Date

Release Date

Type

Type

eclipse-plugin
Description

Description

org.overture.ide.plugins.externaleditor
Providing GUI for all integrated core plugins
Project Organization

Project Organization

Overture

Download org.overture.ide.plugins.externaleditor

Dependencies

test (1)

Group / Artifact Type Version
junit : junit jar 3.8.1

Project Modules

There are no modules declared in this project.

Versions

Version
3.0.2
3.0.0
2.7.4
2.7.2
2.7.0
2.6.4
2.6.2
2.6.0
2.5.6
2.5.4
2.5.2
2.5.0
2.4.8
2.4.6
2.4.4
2.4.2
2.4.0
2.3.8