org.overture.ide.vdmsl
3.0.2
Overture IDE VDM-SL top level · Top level for the Overture IDE for VDM-SL
Group: org.overturetool.ide - All Dependencies
org.overture.ide.vdmrt
3.0.2
Overture IDE VDM-RT (RealTime) Top-level · Top level of the Overture IDE for VDM-RT
org.overture.ide.vdmpp
3.0.2
Overture IDE VDM-PP Top-level · Top level of the Overture IDE for VDM-PP
org.overture.ide.plugins
3.0.2
Overture IDE core plugins GUI · Providing GUI for all integrated core plugins
org.overture.ide.parsers
3.0.2
Overture IDE Parsers · Top level for all parsers in the Overture IDE
Overture IDE Builders · Top level for all builders in the Overture IDE
features
org.overture.ide.features.core
