JarCasting
JarCasting JarCasting
Last Version

Overture IDE Top-level 3.0.2

Super POM for all IDE (Eclipse) artifacts.

License

License
Categories

Categories

IDE Development Tools
GroupId

GroupId

org.overturetool
ArtifactId

ArtifactId

ide
Version

Version

3.0.2
Type

Type

pom
Description

Description

Overture IDE Top-level
Super POM for all IDE (Eclipse) artifacts.
Project Organization

Project Organization

Overture

Download ide 3.0.2

Filename Size
ide-3.0.2.pom 9 KB
Browse 

<!-- https://jarcasting.com/artifacts/org.overturetool/ide/ -->
<dependency>
    <groupId>org.overturetool</groupId>
    <artifactId>ide</artifactId>
    <version>3.0.2</version>
    <type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/org.overturetool/ide/
implementation 'org.overturetool:ide:3.0.2'
// https://jarcasting.com/artifacts/org.overturetool/ide/
implementation ("org.overturetool:ide:3.0.2")
'org.overturetool:ide:pom:3.0.2'
<dependency org="org.overturetool" name="ide" rev="3.0.2">
  <artifact name="ide" type="pom" />
</dependency>
@Grapes(
@Grab(group='org.overturetool', module='ide', version='3.0.2')
)
libraryDependencies += "org.overturetool" % "ide" % "3.0.2"
[org.overturetool/ide "3.0.2"]

Dependencies

test (1)

Group / Artifact Type Version
junit : junit jar 3.8.1

Project Modules

  • core
  • ui
  • parsers
  • builders
  • debug
  • vdmsl
  • vdmpp
  • vdmrt
  • help
  • plugins
  • platform
  • features
  • product