Build #5 (Feb 6, 2017 10:00:01 AM)

	Build Artifacts org.overturetool.ide.overturegraphics.macosx.x86_64-1.1.2-p2artifacts.xml 627 B  view org.overturetool.ide.overturegraphics.macosx.x86_64-1.1.2-p2metadata.xml 1.92 KB  view org.overturetool.ide.overturegraphics.macosx.x86_64-1.1.2.jar 142.57 MB  view org.overturetool.ide.overturegraphics.macosx.x86_64-1.1.2.pom 1.41 KB  view
	No changes. Changes in dependency Overture Graphics Plugin #4 → #5 (detail) The Proof Obligation Generator  ? → (detail) The Overture Abstract Syntax Tree  ? → (detail) The VDM Interpreter  ? → (detail) The VDM Type Checker  ? → (detail) The VDM parser  ? → (detail)