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

	Build Artifacts org.overturetool.ide.overturegraphics.win32.win64-1.1.3-SNAPSHOT-p2artifacts.xml 643 B  view org.overturetool.ide.overturegraphics.win32.win64-1.1.3-SNAPSHOT-p2metadata.xml 2.00 KB  view org.overturetool.ide.overturegraphics.win32.win64-1.1.3-SNAPSHOT.jar 82.30 MB  view org.overturetool.ide.overturegraphics.win32.win64-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)