Build #5 (Feb 6, 2017 10:00:01 AM)

	Build Artifacts org.overturetool.ide.overturegraphics.core-1.1.2-p2artifacts.xml 610 B  view org.overturetool.ide.overturegraphics.core-1.1.2-p2metadata.xml 2.06 KB  view org.overturetool.ide.overturegraphics.core-1.1.2.jar 2.48 MB  view org.overturetool.ide.overturegraphics.core-1.1.2.pom 2.79 KB  view
	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)