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

	Build Artifacts org.overturetool.ide.overturegraphics.core-1.1.3-SNAPSHOT-p2artifacts.xml 632 B  view org.overturetool.ide.overturegraphics.core-1.1.3-SNAPSHOT-p2metadata.xml 2.14 KB  view org.overturetool.ide.overturegraphics.core-1.1.3-SNAPSHOT.jar 2.48 MB  view org.overturetool.ide.overturegraphics.core-1.1.3-SNAPSHOT.pom 2.80 KB  view
	No changes. Changes in dependency The VDM Interpreter  ? → (detail) The Proof Obligation Generator  ? → (detail) The VDM parser  ? → (detail) The VDM Type Checker  ? → (detail) The Overture Abstract Syntax Tree  ? → (detail)