Build #29 (Aug 28, 2020 1:49:32 PM)

Build Artifacts org.overture.ide.product-3.0.0-linux.gtk.x86_64.zip 154.67 MB  view org.overture.ide.product-3.0.0-macosx.cocoa.x86_64.zip 157.34 MB  view org.overture.ide.product-3.0.0-org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip 1.44 MB  view org.overture.ide.product-3.0.0-org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip 72.56 KB  view org.overture.ide.product-3.0.0-org.overture.ide.platform.product.executable.win32.win32.x86_64.zip 197.89 KB  view org.overture.ide.product-3.0.0-p2artifacts.xml 1.69 KB  view org.overture.ide.product-3.0.0-p2metadata.xml 94.11 KB  view org.overture.ide.product-3.0.0-win32.win32.x86_64.zip 157.67 MB  view org.overture.ide.product-3.0.0.pom 5.08 KB  view org.overture.ide.product-3.0.0.zip 136.92 MB  view

Changes Replaces the oxygen repositories with the 2019-12 ones (commit: 972e1fe) (details) Replaces direct usage of Equinox DS bundle (commit: 1b8095b) (details) [maven-release-plugin] prepare for next development iteration (commit: 2a9fecf) (details) Bump version number (commit: 185e89d) (details) [maven-release-plugin] prepare release Release/3.0.0 (commit: c179d6b) (details) Changes in dependency Overture Core Command Line Tool #28 → #29 (detail) The Proof Obligation Generator #28 → #29 (detail) The VDM Type Checker #28 → #29 (detail) The Overture Tool Platform root #28 → #29 (detail) The VDM Interpreter #28 → #29 (detail) Test Framework for Overture #28 → #29 (detail) The VDM Pretty Printer #28 → #29 (detail) The VDM parser #28 → #29 (detail) Overture IDE Top-level #28 → #29 (detail) The Overture Abstract Syntax Tree #28 → #29 (detail)