Project Group: org.overturetool.ide

org.overture.ide.core

org.overturetool.ide : org.overture.ide.core

Super POM for all IDE (Eclipse) artifacts.

Last Version: 3.0.2

Release Date: Nov 10, 2020

Overture IDE Builders

org.overturetool.ide : org.overture.ide.builders

Top level for all builders in the Overture IDE

Last Version: 3.0.2

Release Date: Nov 10, 2020

org.overture.ide.ui

org.overturetool.ide : org.overture.ide.ui

Super POM for all IDE (Eclipse) artifacts.

Last Version: 3.0.2

Release Date: Nov 10, 2020

Overture IDE Parsers

org.overturetool.ide : org.overture.ide.parsers

Top level for all parsers in the Overture IDE

Last Version: 3.0.2

Release Date: Nov 10, 2020

org.overture.ide.debug

org.overturetool.ide : org.overture.ide.debug

Super POM for all IDE (Eclipse) artifacts.

Last Version: 3.0.2

Release Date: Nov 10, 2020

Overture IDE VDM-SL top level

org.overturetool.ide : org.overture.ide.vdmsl

Top level for the Overture IDE for VDM-SL

Last Version: 3.0.2

Release Date: Nov 10, 2020

Overture IDE VDM-PP Top-level

org.overturetool.ide : org.overture.ide.vdmpp

Top level of the Overture IDE for VDM-PP

Last Version: 3.0.2

Release Date: Nov 10, 2020

Overture IDE VDM-RT (RealTime) Top-level

org.overturetool.ide : org.overture.ide.vdmrt

Top level of the Overture IDE for VDM-RT

Last Version: 3.0.2

Release Date: Nov 10, 2020

org.overture.ide.help

org.overturetool.ide : org.overture.ide.help

Super POM for all IDE (Eclipse) artifacts.

Last Version: 3.0.2

Release Date: Nov 10, 2020

Overture IDE core plugins GUI

org.overturetool.ide : org.overture.ide.plugins

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date: Nov 10, 2020

org.overture.ide.platform

org.overturetool.ide : org.overture.ide.platform

Super POM for all IDE (Eclipse) artifacts.

Last Version: 3.0.2

Release Date: Nov 10, 2020

Overture IDE Eclipse features

org.overturetool.ide : features

Super POM for all IDE (Eclipse) artifacts.

Last Version: 3.0.2

Release Date: Nov 10, 2020

Overture IDE Standalone Product

org.overturetool.ide : org.overture.ide.product

Super POM for all IDE (Eclipse) artifacts.

Last Version: 3.0.2

Release Date: Nov 10, 2020