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.0-p2artifacts.xml 682 B  view org.overture.ide.plugins.features.csk-3.0.0-p2metadata.xml 6.38 KB  view org.overture.ide.plugins.features.csk-3.0.0.jar 6.35 KB  view org.overture.ide.plugins.features.csk-3.0.0.pom 699 B  view
	Recent Changes

Disk Usage Job 162 KB All builds 150 KB Locked builds - All workspaces 27 KB Slave workspaces 27 KB Non-slave workspaces -

Permalinks

• Last build (#29), 22 days ago
• Last stable build (#29), 22 days ago
• Last successful build (#29), 22 days ago
• Last completed build (#29), 22 days ago