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

	Build Artifacts org.overturetool.ide.overturegraphics.linux.x86_64-1.1.3-SNAPSHOT-p2artifacts.xml 645 B  view org.overturetool.ide.overturegraphics.linux.x86_64-1.1.3-SNAPSHOT-p2metadata.xml 2.01 KB  view org.overturetool.ide.overturegraphics.linux.x86_64-1.1.3-SNAPSHOT.jar 70.81 MB  view org.overturetool.ide.overturegraphics.linux.x86_64-1.1.3-SNAPSHOT.pom 1.42 KB  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)