diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml index 410ec7000bf447316beb8312fc34767c0134f81e..2ce2d6666f83aa23948afef5b8d4e98774136234 100644 --- a/de.prob2.disprover.feature/feature.xml +++ b/de.prob2.disprover.feature/feature.xml @@ -237,7 +237,7 @@ litigation. <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/> <import plugin="org.eventb.ui" version="3.0.0"/> <import plugin="org.eclipse.osgi"/> - <import plugin="de.prob.ui" version="7.4.0" match="greaterOrEqual"/> + <import plugin="de.prob.ui" version="7.4.0" match="compatible"/> <import plugin="de.prob.eventb.disprover.core" version="2.0.0" match="equivalent"/> </requires> diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml index 8bf97665b5471b0394d6eaecef3744d51e505d3b..aa283ffb55f1b67da872ae7fcd296db968c178d5 100644 --- a/de.prob2.feature/feature.xml +++ b/de.prob2.feature/feature.xml @@ -244,8 +244,8 @@ litigation. <import plugin="org.eclipse.core.databinding" version="1.2.0" match="compatible"/> <import plugin="org.eclipse.jface.databinding" version="1.2.1" match="compatible"/> <import plugin="org.eclipse.core.databinding.beans" version="1.1.1" match="compatible"/> - <import plugin="org.eclipse.help" version="3.5.100" match="greaterOrEqual"/> - <import plugin="org.eclipse.ui.navigator" version="3.5.0" match="greaterOrEqual"/> + <import plugin="org.eclipse.help" version="3.5.100" match="compatible"/> + <import plugin="org.eclipse.ui.navigator" version="3.5.0" match="compatible"/> <import plugin="de.bmotionstudio.gef.editor" version="5.5.0" match="equivalent"/> </requires>