Module org.overture.ide.vdmsl.ui

Full project name: overture-master/org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui

	Workspace
	Last Successful Artifacts org.overture.ide.vdmsl.ui-3.0.2-p2artifacts.xml 564 B  view org.overture.ide.vdmsl.ui-3.0.2-p2metadata.xml 2.69 KB  view org.overture.ide.vdmsl.ui-3.0.2.jar 22.90 KB  view org.overture.ide.vdmsl.ui-3.0.2.pom 1013 B  view
	Recent Changes

Disk Usage Job 152 KB All builds 139 KB Locked builds - All workspaces 213 KB Slave workspaces 213 KB Non-slave workspaces -

Permalinks

• Last build (#30), 2 yr 2 mo ago
• Last stable build (#30), 2 yr 2 mo ago
• Last successful build (#30), 2 yr 2 mo ago
• Last completed build (#30), 2 yr 2 mo ago