From 017407703b26f23cda4159162d74a6a65727a954 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Mon, 7 Jan 2013 13:40:05 +0100
Subject: [PATCH] update units feature
---
de.prob2.units.feature/feature.xml | 48 ++----------------------------
1 file changed, 2 insertions(+), 46 deletions(-)
diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml
index e6432b79..13db1cf5 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>
--
GitLab