From 4f2b21dd3f3dffb3649d76b4c1056a8f85733dc4 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 27 Aug 2020 11:42:17 +0200
Subject: [PATCH] relax dependency on org.rodinp.core to compatible
---
de.prob2.disprover.feature/feature.xml | 4 ++--
de.prob2.feature/feature.xml | 4 ++--
de.prob2.symbolic.feature/feature.xml | 4 ++--
de.prob2.units.feature/feature.xml | 4 ++--
4 files changed, 8 insertions(+), 8 deletions(-)
diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 2e992ddb..9bd1a829 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -19,7 +19,7 @@ and is now being used within Siemens.
</description>
<copyright>
- (C) 2000-2011 Michael Leuschel (and many others) All rights reserved.
+ (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
</copyright>
<license url="http://www.eclipse.org/org/documents/epl-v10.html">
@@ -236,7 +236,7 @@ litigation.
<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.rodinp.core" version="1.7.0" match="compatible"/>
<import plugin="org.eventb.ui" version="3.0.0"/>
<import plugin="org.eclipse.osgi"/>
<import plugin="de.prob.ui" version="7.4.0" match="greaterOrEqual"/>
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index deb0a75d..373bcd99 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -13,7 +13,7 @@ ProB has been successfully used on various industrial specifications and is now
</description>
<copyright>
- (C) 2000-2011 Michael Leuschel (and many others) All rights reserved.
+ (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
</copyright>
<license url="http://www.eclipse.org/org/documents/epl-v10.html">
@@ -231,7 +231,7 @@ litigation.
<import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
<import plugin="org.eventb.core" version="3.0.0"/>
<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="org.rodinp.core" version="1.7.0" match="compatible"/>
<import plugin="org.eventb.core.ast" version="3.0.0"/>
<import plugin="org.eventb.core.seqprover" version="3.0.0"/>
<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 3a331d64..8143cfdf 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -19,7 +19,7 @@ and is now being used within Siemens.
</description>
<copyright>
- (C) 2000-2011 Michael Leuschel (and many others) All rights reserved.
+ (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
</copyright>
<license url="http://www.eclipse.org/org/documents/epl-v10.html">
@@ -233,7 +233,7 @@ litigation.
<import plugin="org.eclipse.core.runtime"/>
<import plugin="de.prob.core" version="9.4.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.rodinp.core" version="1.7.0" match="compatible"/>
<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"/>
diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml
index c6b9f194..73fb1c8e 100644
--- a/de.prob2.units.feature/feature.xml
+++ b/de.prob2.units.feature/feature.xml
@@ -13,7 +13,7 @@ ProB has been successfully used on various industrial specifications and is now
</description>
<copyright>
- (C) 2000-2011 Michael Leuschel (and many others) All rights reserved.
+ (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
</copyright>
<license url="http://www.eclipse.org/org/documents/epl-v10.html">
@@ -228,7 +228,7 @@ litigation.
<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.rodinp.core" version="1.7.0" match="compatible"/>
<import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
<import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
<import plugin="org.eventb.core" version="3.0.0"/>
--
GitLab