diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml index 977e1bf8a3cb0f9031fa11c898a23e1fd708c129..0a830dd63c039a69d257d2c6c29c22bd9a97d888 100644 --- a/de.prob2.disprover.feature/feature.xml +++ b/de.prob2.disprover.feature/feature.xml @@ -232,7 +232,7 @@ litigation. <requires> <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/> <import plugin="de.prob.core" version="9.4.0" match="equivalent"/> - <import plugin="org.eventb.core" version="2.5.1" match="greaterOrEqual"/> + <import plugin="org.eventb.core" version="2.5.1" match="compatible"/> <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/> <import plugin="de.prob.eventb.disprover.core" version="1.3.2" match="compatible"/> <import plugin="org.eventb.pp.ui" version="0.2.1" match="greaterOrEqual"/> diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml index ab82d714ad3d3f573519797aac5091669a13e4b0..e9de0a9640ed589cde0429f597ba38217580e3d2 100644 --- a/de.prob2.feature/feature.xml +++ b/de.prob2.feature/feature.xml @@ -235,12 +235,13 @@ litigation. <import plugin="de.prob.core" version="9.4.0" match="equivalent"/> <import plugin="org.eventb.core" version="3.0.0" match="equivalent"/> <import plugin="org.eclipse.help" version="3.5.100" match="greaterOrEqual"/> - <import plugin="org.rodinp.core" version="1.3.1" match="greaterOrEqual"/> + <import plugin="org.rodinp.core" version="1.3.1" match="compatible"/> <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/> <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/> <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/> <import plugin="org.eclipse.ui.navigator" version="3.5.0" match="greaterOrEqual"/> <import plugin="de.bmotionstudio.gef.editor" version="5.5.0" match="equivalent"/> + <import plugin="org.eventb.core.ast" version="2.7.0" match="compatible"/> </requires> <plugin diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml index a4ed89b1057047229fbb926d0d9a9010fae90e36..c0e227e86a54c160488f0afe6813846c891816e4 100644 --- a/de.prob2.units.feature/feature.xml +++ b/de.prob2.units.feature/feature.xml @@ -226,7 +226,7 @@ litigation. <requires> <import plugin="org.eclipse.core.runtime"/> <import plugin="de.prob.core" version="9.4.0" match="equivalent"/> - <import plugin="org.eventb.ui" version="2.5.0" match="greaterOrEqual"/> + <import plugin="org.eventb.ui" version="2.5.0" match="compatible"/> <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/> </requires>