From 28b349b5a412b8a6b980c4b89cc8729d0861d4fe Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 17 Oct 2014 17:40:40 +0200
Subject: [PATCH] bump dependency versions
---
de.prob2.disprover.feature/feature.xml | 9 +++++----
de.prob2.feature/feature.xml | 23 ++++++++---------------
de.prob2.symbolic.feature/feature.xml | 2 +-
de.prob2.units.feature/feature.xml | 4 ++--
4 files changed, 16 insertions(+), 22 deletions(-)
diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 61c58e1b..9ef6d65e 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -232,14 +232,15 @@ litigation.
<requires>
<import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
<import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
+ <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
+ <import plugin="org.eventb.core" version="3.0.0"/>
<import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
+ <import plugin="org.eventb.core.ast" version="3.0.0"/>
<import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
- <import plugin="org.eventb.ui" version="3.0.0" match="equivalent"/>
<import plugin="de.prob.eventb.disprover.core" version="1.3.2" match="compatible"/>
<import plugin="org.eclipse.osgi"/>
- <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
- <import plugin="org.eventb.core" version="3.0.0"/>
- <import plugin="org.eventb.core.ast" version="3.0.0"/>
+ <import plugin="org.eventb.ui" version="3.0.0"/>
+ <import plugin="de.prob.ui" version="7.4.0" match="greaterOrEqual"/>
</requires>
<plugin
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 9a1cc874..17dfa6a9 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -224,25 +224,18 @@ 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.4.0" match="equivalent"/>
- <import plugin="org.eclipse.help" version="3.5.100" match="greaterOrEqual"/>
- <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
<import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
- <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" version="3.0.0"/>
<import plugin="org.eventb.core.ast" version="3.0.0"/>
+ <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
<import plugin="org.eventb.core.seqprover" version="3.0.0"/>
+ <import plugin="org.eventb.core" version="3.0.0"/>
+ <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
+ <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="de.prob.core" version="9.4.0" match="equivalent"/>
+ <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
+ <import plugin="org.eclipse.gef" version="3.7.0" match="compatible"/>
</requires>
<plugin
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index 8b34fa2a..a88506b1 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -232,11 +232,11 @@ 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="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"/>
+ <import plugin="org.eventb.ui" version="3.0.0"/>
</requires>
<plugin
diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml
index 570a5138..ca206784 100644
--- a/de.prob2.units.feature/feature.xml
+++ b/de.prob2.units.feature/feature.xml
@@ -230,10 +230,10 @@ litigation.
<import plugin="org.eclipse.jface"/>
<import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
<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.eclipse.ui.workbench"/>
<import plugin="org.eventb.core" version="3.0.0"/>
+ <import plugin="org.eclipse.ui.workbench"/>
+ <import plugin="org.eventb.ui" version="3.0.0"/>
</requires>
<plugin
--
GitLab