Build Overture IDE Eclipse rcp feature (Mar 5, 2019 8:43:15 AM)

	Build Artifacts org.overture.ide.features.rcp-2.6.5-SNAPSHOT-p2artifacts.xml 1.15 KB  view org.overture.ide.features.rcp-2.6.5-SNAPSHOT-p2metadata.xml 9.52 KB  view org.overture.ide.features.rcp-2.6.5-SNAPSHOT-root.zip 11.12 MB  view org.overture.ide.features.rcp-2.6.5-SNAPSHOT.jar 11.13 MB  view org.overture.ide.features.rcp-2.6.5-SNAPSHOT.pom 3.24 KB  view
	No changes. Changes in dependency org.overture.ide.vdmsl.core #196 → #197 (detail) RT Trace Viewer Plugin #196 → #197 (detail) Overture IDE Eclipse LaTeX Creator feature #196 → #197 (detail) Overture IDE Eclipse Combinatorial Testing feature #196 → #197 (detail) org.overture.ide.vdmpp.core #196 → #197 (detail) org.overture.ide.parsers.vdmj #196 → #197 (detail) Overture IDE Eclipse CSK VDM Tools Link feature #196 → #197 (detail) org.overture.ide.plugins.quickinterpreter #196 → #197 (detail) org.overture.ide.vdmsl.ui #196 → #197 (detail) The VDM parser #196 → #197 (detail) Test Framework for Overture #196 → #197 (detail) org.overture.ide.plugins.latex #196 → #197 (detail) Overture IDE Eclipse Java Code Generator feature #196 → #197 (detail) org.overture.ide.plugins.coverageeditor #196 → #197 (detail) Combinatorial Testing #196 → #197 (detail) org.overture.ide.ui #196 → #197 (detail) The VDM Type Checker #196 → #197 (detail) Overture IDE Eclipse VDM Quick Interpreter feature #196 → #197 (detail) org.overture.ide.platform #196 → #197 (detail) org.overture.ide.vdmpp.ui #196 → #197 (detail) org.overture.ide.builders.vdmj #196 → #197 (detail) org.overture.ide.core #196 → #197 (detail) Overture Core Command Line Tool #196 → #197 (detail) The Overture Abstract Syntax Tree #196 → #197 (detail) Overture IDE Eclipse Developer Utilities feature #196 → #197 (detail) Overture IDE Eclipse Proof Obligation Viewer feature #196 → #197 (detail) UML2 Translator #196 → #197 (detail) Overture IDE Eclipse Coverage Editor feature #196 → #197 (detail) Overture IDE Eclipse Realtime Trace Viewer feature #196 → #197 (detail) org.overture.ide.vdmpp.debug #196 → #197 (detail) org.overture.ide.vdmsl.debug #196 → #197 (detail) Overture IDE Eclipse plugin uml2 feature #196 → #197 (detail) Overture IDE Eclipse core feature #196 → #197 (detail) org.overture.ide.plugins.externaleditor #196 → #197 (detail) Developer Utilities for Overture #196 → #197 (detail) org.overture.ide.plugins.poviewer #196 → #197 (detail) org.overture.ide.debug #196 → #197 (detail) The Java Code Generator Plugin #196 → #197 (detail) org.overture.ide.vdmrt.core #196 → #197 (detail) org.overture.ide.vdmrt.debug #196 → #197 (detail) org.overture.ide.help #196 → #197 (detail) The Proof Obligation Generator #196 → #197 (detail) org.overture.ide.vdmrt.ui #196 → #197 (detail) org.overture.ide.plugins.csk #196 → #197 (detail) The VDM Pretty Printer #196 → #197 (detail) The VDM Interpreter #196 → #197 (detail)
	Task Scanner: 0 open tasks in 1 workspace file. No warnings since build 2. New zero warnings highscore: no warnings for 1,287 days!