Module Overture IDE Eclipse CSK VDM Tools Link feature

Full project name: overture-master/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk

	Workspace
	Last Successful Artifacts org.overture.ide.plugins.features.csk-3.0.2-p2artifacts.xml 682 B  view org.overture.ide.plugins.features.csk-3.0.2-p2metadata.xml 6.38 KB  view org.overture.ide.plugins.features.csk-3.0.2.jar 6.33 KB  view org.overture.ide.plugins.features.csk-3.0.2.pom 699 B  view
	Recent Changes

Disk Usage Job 168 KB All builds 155 KB Locked builds - All workspaces 27 KB Slave workspaces 27 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