Artifacts of Overture IDE Eclipse VDM Quick Interpreter feature #197

org.overturetool.ide.plugins.features / org.overture.ide.plugins.features.quickinterpreter / 2.6.5-SNAPSHOT /

	org.overture.ide.plugins.features.quickinterpreter-2.6.5-SNAPSHOT.jar	Mar 5, 2019 8:56:22 AM	1.82 KB	view
	org.overture.ide.plugins.features.quickinterpreter-2.6.5-SNAPSHOT.pom	Mar 5, 2019 8:56:22 AM	724 B	view
	org.overture.ide.plugins.features.quickinterpreter-2.6.5-SNAPSHOT-p2artifacts.xml	Mar 5, 2019 8:56:22 AM	730 B	view
	org.overture.ide.plugins.features.quickinterpreter-2.6.5-SNAPSHOT-p2metadata.xml	Mar 5, 2019 8:56:22 AM	6.65 KB	view
(all files in zip)