Build #200 (Sep 6, 2019 2:49:19 PM)

	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 #199 → #200 (detail) RT Trace Viewer Plugin #199 → #200 (detail) Overture IDE Eclipse LaTeX Creator feature #199 → #200 (detail) Overture IDE Eclipse Combinatorial Testing feature #199 → #200 (detail) org.overture.ide.vdmpp.core #199 → #200 (detail) org.overture.ide.parsers.vdmj #199 → #200 (detail) Overture IDE Eclipse CSK VDM Tools Link feature #199 → #200 (detail) org.overture.ide.plugins.quickinterpreter #199 → #200 (detail) org.overture.ide.vdmsl.ui #199 → #200 (detail) The VDM parser #199 → #200 (detail) Test Framework for Overture #199 → #200 (detail) org.overture.ide.plugins.latex #199 → #200 (detail) Overture IDE Eclipse Java Code Generator feature #199 → #200 (detail) org.overture.ide.plugins.coverageeditor #199 → #200 (detail) Combinatorial Testing #199 → #200 (detail) org.overture.ide.ui #199 → #200 (detail) The VDM Type Checker #199 → #200 (detail) Overture IDE Eclipse VDM Quick Interpreter feature #199 → #200 (detail) org.overture.ide.platform #199 → #200 (detail) org.overture.ide.vdmpp.ui #199 → #200 (detail) org.overture.ide.builders.vdmj #199 → #200 (detail) org.overture.ide.core #199 → #200 (detail) Overture Core Command Line Tool #199 → #200 (detail) The Overture Abstract Syntax Tree #199 → #200 (detail) Overture IDE Eclipse Developer Utilities feature #199 → #200 (detail) Overture IDE Eclipse Proof Obligation Viewer feature #199 → #200 (detail) UML2 Translator #199 → #200 (detail) Overture IDE Eclipse Coverage Editor feature #199 → #200 (detail) Overture IDE Eclipse Realtime Trace Viewer feature #199 → #200 (detail) org.overture.ide.vdmpp.debug #199 → #200 (detail) org.overture.ide.vdmsl.debug #199 → #200 (detail) Overture IDE Eclipse plugin uml2 feature #199 → #200 (detail) Overture IDE Eclipse core feature #199 → #200 (detail) org.overture.ide.plugins.externaleditor #199 → #200 (detail) Developer Utilities for Overture #199 → #200 (detail) org.overture.ide.plugins.poviewer #199 → #200 (detail) org.overture.ide.debug #199 → #200 (detail) The Java Code Generator Plugin #199 → #200 (detail) org.overture.ide.vdmrt.core #199 → #200 (detail) org.overture.ide.vdmrt.debug #199 → #200 (detail) org.overture.ide.help #199 → #200 (detail) The Proof Obligation Generator #199 → #200 (detail) org.overture.ide.vdmrt.ui #199 → #200 (detail) org.overture.ide.plugins.csk #199 → #200 (detail) The VDM Pretty Printer #199 → #200 (detail) The VDM Interpreter #199 → #200 (detail)
	Task Scanner: 0 open tasks in 1 workspace file. No warnings since build 2. New zero warnings highscore: no warnings for 1,473 days!