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

	Build Artifacts org.overturetool.graphics.ide.repository-1.1.3-SNAPSHOT-p2artifacts.xml 100 B  view org.overturetool.graphics.ide.repository-1.1.3-SNAPSHOT-p2metadata.xml 1.09 KB  view org.overturetool.graphics.ide.repository-1.1.3-SNAPSHOT.pom 1011 B  view org.overturetool.graphics.ide.repository-1.1.3-SNAPSHOT.zip 400.50 MB  view
	No changes. Changes in dependency The VDM parser  ? → (detail) The VDM Interpreter  ? → (detail) The Proof Obligation Generator  ? → (detail) The Overture Abstract Syntax Tree  ? → (detail) The VDM Type Checker  ? → (detail)