Skip to content
Snippets Groups Projects
Commit 4f2b21dd authored by Michael Leuschel's avatar Michael Leuschel
Browse files

relax dependency on org.rodinp.core to compatible

parent 81b44ea4
No related branches found
No related tags found
No related merge requests found
......@@ -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"/>
......
......@@ -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"/>
......
......@@ -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"/>
......
......@@ -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"/>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment