diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml index 4a52e0dc4b5d6f849f592844bec656a5f38100b2..da19a845cc80ec764ad289f65f2ea823462a1de2 100644 --- a/de.prob2.disprover.feature/feature.xml +++ b/de.prob2.disprover.feature/feature.xml @@ -229,7 +229,6 @@ litigation. <requires> <import plugin="de.prob.core" version="9.5.2" match="equivalent"/> - <import plugin="de.prob.eventb.disprover.core" version="2.1.2" match="equivalent"/> <import plugin="de.prob.ui" version="7.5.2" match="equivalent"/> <import plugin="org.eclipse.core.runtime" version="3.2.0" match="compatible"/> <import plugin="org.eclipse.osgi" version="3.16.0" match="compatible"/> diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml index 90e773d17bfa98024aefbeb1562c7cbe6517e87e..1598487d12cb2a5ed5ff4523929f458e7b874c2f 100644 --- a/de.prob2.feature/feature.xml +++ b/de.prob2.feature/feature.xml @@ -228,9 +228,6 @@ litigation. </license> <requires> - <import plugin="de.bmotionstudio.gef.editor" version="5.6.2" match="equivalent"/> - <import plugin="de.prob.core" version="9.5.2" match="equivalent"/> - <import plugin="de.prob.ui" version="7.5.2" match="equivalent"/> <import plugin="org.eclipse.core.databinding" version="1.10.0" match="compatible"/> <import plugin="org.eclipse.core.databinding.beans" version="1.7.0" match="compatible"/> <import plugin="org.eclipse.core.expressions" version="3.7.0" match="compatible"/>