Overture IDE Eclipse Proof Obligation Viewer feature

Providing GUI for all integrated core plugins

License

License

Categories

Categories

IDE Development Tools
GroupId

GroupId

org.overturetool.ide.plugins.features
ArtifactId

ArtifactId

org.overture.ide.plugins.features.poviewer
Last Version

Last Version

3.0.2
Release Date

Release Date

Type

Type

eclipse-feature
Description

Description

Overture IDE Eclipse Proof Obligation Viewer feature
Providing GUI for all integrated core plugins
Project Organization

Project Organization

Overture

Download org.overture.ide.plugins.features.poviewer

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