From 8e67ceab07353f04e160df34b66556526c19039d Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Tue, 18 Mar 2014 08:31:49 +0100
Subject: [PATCH] update deps for rodin3

---
 de.prob2.disprover.feature/feature.xml | 2 +-
 de.prob2.feature/feature.xml           | 2 +-
 de.prob2.symbolic.feature/feature.xml  | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 1f444d1b..b76d41c1 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -237,7 +237,7 @@ litigation.
       <import plugin="de.prob.eventb.disprover.core" version="1.3.2" match="compatible"/>
       <import plugin="org.eventb.pp.ui" version="0.2.1" match="greaterOrEqual"/>
       <import plugin="org.eventb.core.seqprover" version="2.5.0" match="greaterOrEqual"/>
-      <import plugin="org.eventb.ui" version="2.5.0" match="compatible"/>
+      <import plugin="org.eventb.ui" version="3.0.0" match="equivalent"/>
    </requires>
 
    <plugin
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 8f6456c5..f4766445 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -233,7 +233,7 @@ litigation.
       <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.eventb.core" version="2.5.0" match="greaterOrEqual"/>
+      <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="greaterOrEqual"/>
       <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index d0f90ee3..8dfd3c94 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -232,7 +232,7 @@ 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="greaterOrEqual"/>
+      <import plugin="org.eventb.ui" version="3.0.0" match="equivalent"/>
       <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
    </requires>
 
-- 
GitLab