Build #35 (Feb 6, 2017 10:10:25 AM)

	Build Artifacts org.overturetool.graphics.ide.features.overturegraphics-1.1.3-SNAPSHOT-p2artifacts.xml 732 B  view org.overturetool.graphics.ide.features.overturegraphics-1.1.3-SNAPSHOT-p2metadata.xml 7.79 KB  view org.overturetool.graphics.ide.features.overturegraphics-1.1.3-SNAPSHOT.jar 5.10 KB  view org.overturetool.graphics.ide.features.overturegraphics-1.1.3-SNAPSHOT.pom 661 B  view
	No changes. Changes in dependency The VDM Interpreter  ? → (detail) The VDM parser  ? → (detail) The VDM Type Checker  ? → (detail) The Overture Abstract Syntax Tree  ? → (detail) The Proof Obligation Generator  ? → (detail)