diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 09ec8e633c4390aaf520f000fa52c945f742a8bc..9544570847144852b59b5f455076ab6270aaa42e 100644
--- a/org.eventb.texteditor.feature/feature.xml
+++ b/org.eventb.texteditor.feature/feature.xml
@@ -159,13 +159,13 @@ Inc. in the United States, other countries, or both.
 
    <requires>
       <import plugin="org.eclipse.core.resources" version="3.8.1" match="compatible"/>
-      <import plugin="org.eclipse.core.runtime" version="3.10.0" match="greaterOrEqual"/>
-      <import plugin="org.eclipse.emf.compare" version="3.1.1" match="greaterOrEqual"/>
-      <import plugin="org.eclipse.emf.compare.edit" version="4.0.0" match="greaterOrEqual"/>
-      <import plugin="org.eclipse.emf.compare.ide" version="3.1.1" match="greaterOrEqual"/>
-      <import plugin="org.eclipse.emf.compare.rcp" version="2.2.0" match="greaterOrEqual"/>
+      <import plugin="org.eclipse.core.runtime" version="3.10.0" match="compatible"/>
+      <import plugin="org.eclipse.emf.compare" version="3.1.1" match="compatible"/>
+      <import plugin="org.eclipse.emf.compare.edit" version="4.0.0" match="compatible"/>
+      <import plugin="org.eclipse.emf.compare.ide" version="3.1.1" match="compatible"/>
+      <import plugin="org.eclipse.emf.compare.rcp" version="2.2.0" match="compatible"/>
       <import plugin="org.eclipse.emf.ecore"/>
-      <import plugin="org.eclipse.emf.ecore.xmi" version="2.10.1" match="greaterOrEqual"/>
+      <import plugin="org.eclipse.emf.ecore.xmi" version="2.10.1" match="compatible"/>
       <import plugin="org.eclipse.emf.edit"/>
       <import plugin="org.eclipse.emf.edit.ui" version="2.5.0" match="compatible"/>
       <import plugin="org.eclipse.jface.text" version="3.6.0" match="compatible"/>
@@ -178,7 +178,7 @@ Inc. in the United States, other countries, or both.
       <import plugin="org.eventb.emf.persistence" version="3.1.1" match="compatible"/>
       <import plugin="org.eventb.texteditor.parsers"/>
       <import plugin="org.eventb.ui" version="3.0.0" match="compatible"/>
-      <import plugin="org.rodinp.core" version="1.7.0" match="greaterOrEqual"/>
+      <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
       <import plugin="org.rodinp.keyboard.core" version="2.0.0" match="compatible"/>
       <import plugin="org.rodinp.keyboard.ui" version="2.0.0" match="compatible"/>
    </requires>