dependency tests ..

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Camille@16403 1434b563-b632-4741-aa49-43a3a8374d2e

org.eventb.texteditor.feature/feature.xml

@@ -160,13 +160,13 @@ Inc. in the United States, other countries, or both.
    </url>
 
    <requires>
-      <import plugin="org.eventb.texttools" version="3.0.0" match="equivalent"/>
-      <import plugin="org.eventb.emf.formulas" version="1.2.0" match="compatible"/>
-      <import plugin="org.eventb.emf.persistence" version="3.1.0" match="compatible"/>
-      <import plugin="org.eventb.ui" version="2.0.0" match="compatible"/>
+      <import plugin="org.eventb.texttools" version="3.0.0" match="greaterOrEqual"/>
+      <import plugin="org.eventb.emf.formulas" version="1.3.2" match="greaterOrEqual"/>
+      <import plugin="org.eventb.emf.persistence" version="3.1.0" match="greaterOrEqual"/>
+      <import plugin="org.eventb.ui" version="3.0.0" match="greaterOrEqual"/>
       <import plugin="org.eclipse.jface.text" version="3.6.0" match="compatible"/>
       <import plugin="org.eclipse.emf.edit.ui" version="2.5.0" match="compatible"/>
-      <import plugin="org.eventb.core.ast" version="3.0.0" match="compatible"/>
+      <import plugin="org.eventb.core.ast" version="3.0.0" match="greaterOrEqual"/>
       <import plugin="org.eclipse.ui.editors" version="3.8.0" match="compatible"/>
       <import plugin="org.eclipse.ui.ide" version="3.8.2" match="compatible"/>
       <import plugin="org.rodinp.keyboard.ui" version="2.0.0" match="compatible"/>
@@ -175,6 +175,7 @@ Inc. in the United States, other countries, or both.
       <import plugin="org.eclipse.emf.compare.diff" version="1.2.2" match="compatible"/>
       <import plugin="org.eclipse.emf.compare.match" version="1.2.2" match="compatible"/>
       <import plugin="org.eclipse.core.resources" version="3.8.1" match="compatible"/>
+      <import plugin="org.eventb.emf.core" version="3.0.0" match="greaterOrEqual"/>
    </requires>
 
    <plugin

org.eventb.texteditor.ui/META-INF/MANIFEST.MF

@@ -6,9 +6,9 @@ Bundle-Version: 3.0.0.qualifier
 Bundle-Localization: plugin
 Bundle-Activator: org.eventb.texteditor.ui.TextEditorPlugin$Implementation
 Require-Bundle: org.eventb.texttools;bundle-version="[2.0.0,3.1.0)";visibility:=reexport,
- org.eventb.emf.formulas;bundle-version="[1.2.0,2.0.0)";visibility:=reexport,
+ org.eventb.emf.formulas;bundle-version="[1.2.0,2.0.0)",
  org.eventb.emf.persistence;bundle-version="[3.1.0,4.0.0)";visibility:=reexport,
- org.eventb.ui;bundle-version="[2.0.0,3.1.0)";visibility:=reexport,
+ org.eventb.ui;bundle-version="[3.0.0,4.0.0)";visibility:=reexport,
  org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)";visibility:=reexport,
  org.eclipse.emf.edit.ui;bundle-version="[2.5.0,3.0.0)",
  org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",

org.eventb.texttools/META-INF/MANIFEST.MF

@@ -5,7 +5,7 @@ Bundle-SymbolicName: org.eventb.texttools;singleton:=true
 Bundle-Version: 3.0.0.qualifier
 Bundle-Activator: org.eventb.texttools.TextToolsPlugin
 Require-Bundle: org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)",
- org.eventb.emf.formulas;bundle-version="[1.2.0,2.0.0)",
+ org.eventb.emf.formulas;bundle-version="[1.3.2,2.0.0)",
  org.eventb.emf.persistence;bundle-version="[3.1.0,4.0.0)",
  org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
  org.eclipse.emf.compare;bundle-version="[1.2.2,2.0.0)",