diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml index e6432b794d0c846138eb1b6eaf1315ba8303f26b..13db1cf5209e37ce134ac05cba8ab3d99ea358d0 100644 --- a/de.prob2.units.feature/feature.xml +++ b/de.prob2.units.feature/feature.xml @@ -224,58 +224,14 @@ litigation. </license> <requires> - <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/> - <import plugin="org.eclipse.ui.ide" version="3.5.0" match="compatible"/> - <import plugin="org.eclipse.ui.views" version="3.5.0" match="compatible"/> - <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/> - <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.gef" version="3.7.0" match="compatible"/> - <import plugin="de.prob.core" version="9.3.0" match="equivalent"/> - <import plugin="org.eventb.core" version="2.1.0"/> - <import plugin="org.rodinp.core" version="1.3.1"/> - <import plugin="de.prob.ui" version="7.3.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.gef" version="3.5.0" match="compatible"/> - <import plugin="org.eclipse.ui.navigator" version="3.5.0" match="greaterOrEqual"/> + <import feature="de.prob2.feature" version="2.3.5.qualifier"/> </requires> <plugin - id="de.bmotionstudio.gef.editor" + id="de.prob.units" download-size="0" install-size="0" version="0.0.0" unpack="false"/> - <plugin - id="de.prob.core" - download-size="0" - install-size="0" - version="0.0.0"/> - - <plugin - id="de.prob.plugin" - download-size="0" - install-size="0" - version="0.0.0" - fragment="true" - unpack="false"/> - - <plugin - id="de.prob.ui" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="de.bmotionstudio.rodin" - download-size="0" - install-size="0" - version="0.0.0" - fragment="true" - unpack="false"/> - </feature>