Skip to content
Snippets Groups Projects
Commit 6f52226b authored by dgelessus's avatar dgelessus
Browse files

Replace match="greaterOrEqual" with match="compatible" 

To avoid installing incompatible major updates.
parent dfff8473
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
org.eventb.texteditor.feature/feature.xml
+ 7
− 7
View file @ 6f52226b
...@@ -159,13 +159,13 @@ Inc. in the United States, other countries, or both. ...@@ -159,13 +159,13 @@ Inc. in the United States, other countries, or both.
<requires> <requires>
<import plugin="org.eclipse.core.resources" version="3.8.1" match="compatible"/> <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.core.runtime" version="3.10.0" match="compatible"/>
<import plugin="org.eclipse.emf.compare" version="3.1.1" match="greaterOrEqual"/> <import plugin="org.eclipse.emf.compare" version="3.1.1" match="compatible"/>
<import plugin="org.eclipse.emf.compare.edit" version="4.0.0" match="greaterOrEqual"/> <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="greaterOrEqual"/> <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="greaterOrEqual"/> <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"/>
<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"/>
<import plugin="org.eclipse.emf.edit.ui" version="2.5.0" match="compatible"/> <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"/> <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. ...@@ -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.emf.persistence" version="3.1.1" match="compatible"/>
<import plugin="org.eventb.texteditor.parsers"/> <import plugin="org.eventb.texteditor.parsers"/>
<import plugin="org.eventb.ui" version="3.0.0" match="compatible"/> <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.core" version="2.0.0" match="compatible"/>
<import plugin="org.rodinp.keyboard.ui" version="2.0.0" match="compatible"/> <import plugin="org.rodinp.keyboard.ui" version="2.0.0" match="compatible"/>
</requires> </requires>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment