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

Build Artifacts org.overturetool.graphics.ide.repository-1.1.2-p2artifacts.xml 100 B  view org.overturetool.graphics.ide.repository-1.1.2-p2metadata.xml 1.01 KB  view org.overturetool.graphics.ide.repository-1.1.2.pom 1002 B  view org.overturetool.graphics.ide.repository-1.1.2.zip 389.62 MB  view

No changes. Changes in dependency org.overturetool.ide.overturegraphics.linux.x86_64 #4 → #5 (detail) Overture IDE Eclipse graphics core feature #4 → #5 (detail) org.overturetool.ide.overturegraphics.win32.win64 #4 → #5 (detail) org.overturetool.ide.overturegraphics.macosx.x86_64 #4 → #5 (detail) The VDM parser  ? → (detail) org.overturetool.ide.overturegraphics.win32.win32 #4 → #5 (detail) The VDM Interpreter  ? → (detail) The Proof Obligation Generator  ? → (detail) Overture Graphics Plugin #4 → #5 (detail) The Overture Abstract Syntax Tree  ? → (detail) The VDM Type Checker  ? → (detail)