From 80b9b06f7d67321ac29968fc1c1483718950fd94 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 28 Mar 2014 09:08:48 +0100
Subject: [PATCH] update dependencies
---
de.prob2.feature/feature.xml | 7 ++++---
de.prob2.symbolic.feature/feature.xml | 3 +++
de.prob2.units.feature/feature.xml | 8 +++++++-
3 files changed, 14 insertions(+), 4 deletions(-)
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index e9de0a96..dc4fc4ab 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -235,13 +235,14 @@ litigation.
<import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
<import plugin="org.eventb.core" version="3.0.0" match="equivalent"/>
<import plugin="org.eclipse.help" version="3.5.100" match="greaterOrEqual"/>
- <import plugin="org.rodinp.core" version="1.3.1" match="compatible"/>
- <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
<import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
+ <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
<import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
<import plugin="org.eclipse.ui.navigator" version="3.5.0" match="greaterOrEqual"/>
<import plugin="de.bmotionstudio.gef.editor" version="5.5.0" match="equivalent"/>
- <import plugin="org.eventb.core.ast" version="2.7.0" match="compatible"/>
+ <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
+ <import plugin="org.eventb.core.ast" version="3.0.0" match="equivalent"/>
+ <import plugin="org.eventb.core.seqprover" version="3.0.0" match="equivalent"/>
</requires>
<plugin
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index 8e9853f3..1dc242bf 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -234,6 +234,9 @@ litigation.
<import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
<import plugin="org.eventb.ui" version="3.0.0" match="equivalent"/>
<import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
+ <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
+ <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
+ <import plugin="org.eventb.core" version="3.0.0" match="equivalent"/>
</requires>
<plugin
diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml
index c0e227e8..04b92c73 100644
--- a/de.prob2.units.feature/feature.xml
+++ b/de.prob2.units.feature/feature.xml
@@ -226,8 +226,14 @@ litigation.
<requires>
<import plugin="org.eclipse.core.runtime"/>
<import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
- <import plugin="org.eventb.ui" version="2.5.0" match="compatible"/>
<import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
+ <import plugin="org.eclipse.core.commands"/>
+ <import plugin="org.eclipse.core.resources"/>
+ <import plugin="org.eclipse.jface"/>
+ <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
+ <import plugin="org.eventb.ui" version="3.0.0" match="equivalent"/>
+ <import plugin="org.eventb.core" version="3.0.0" match="equivalent"/>
+ <import plugin="org.eclipse.ui.workbench"/>
</requires>
<plugin
--
GitLab