Build #5 (Feb 6, 2017 9:43:26 AM)

	No changes. Changes in dependency The Proof Obligation Generator ? → (detail) The VDM Type Checker ? → (detail) The VDM parser ? → (detail) The VDM Interpreter ? → (detail) The Overture Abstract Syntax Tree ? → (detail)
	Started by user Peter W. V. Tran-Jørgensen
	Revision: 87fddf768b882fa41c2dd76c30eb8e902f442eb2 refs/remotes/origin/master

Module Builds

Overture Graphics value interpreter with JSON	10 sec
Core graphics Tools	1.6 sec
Overture Graphics IDE Top-level	0.94 sec
Overture Graphics Root Pom	1.6 sec
Overture IDE Eclipse graphics features	0.29 sec
Overture IDE Eclipse graphics core feature	3.9 sec
Overture Graphics IDE Eclipse repository	1 min 12 sec
Overture Graphics	0.3 sec
org.overturetool.ide.overturegraphics.linux.x86_64	1 min 35 sec
org.overturetool.ide.overturegraphics.macosx.x86_64	1 min 32 sec
org.overturetool.ide.overturegraphics.win32.win32	45 sec
org.overturetool.ide.overturegraphics.win32.win64	32 sec
Overture Graphics Plugin	5 sec