Artifacts of Overture IDE Eclipse Proof Obligation Viewer feature Overture IDE Eclipse Proof Obligation Viewer feature

	org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.poviewer/3.0.3-SNAPSHOT
(all files in zip)