Skip to content
Snippets Groups Projects
Commit 28b349b5 authored by Sebastian Krings's avatar Sebastian Krings
Browse files

bump dependency versions

parent ee86fbc8
Branches
Tags
No related merge requests found
...@@ -232,14 +232,15 @@ litigation. ...@@ -232,14 +232,15 @@ litigation.
<requires> <requires>
<import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/> <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="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.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="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="de.prob.eventb.disprover.core" version="1.3.2" match="compatible"/>
<import plugin="org.eclipse.osgi"/> <import plugin="org.eclipse.osgi"/>
<import plugin="org.eventb.core.seqprover" version="3.0.0"/> <import plugin="org.eventb.ui" version="3.0.0"/>
<import plugin="org.eventb.core" version="3.0.0"/> <import plugin="de.prob.ui" version="7.4.0" match="greaterOrEqual"/>
<import plugin="org.eventb.core.ast" version="3.0.0"/>
</requires> </requires>
<plugin <plugin
......
...@@ -224,25 +224,18 @@ litigation. ...@@ -224,25 +224,18 @@ litigation.
</license> </license>
<requires> <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.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="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.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.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> </requires>
<plugin <plugin
......
...@@ -232,11 +232,11 @@ litigation. ...@@ -232,11 +232,11 @@ litigation.
<requires> <requires>
<import plugin="org.eclipse.core.runtime"/> <import plugin="org.eclipse.core.runtime"/>
<import plugin="de.prob.core" version="9.4.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="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="equivalent"/>
<import plugin="org.eclipse.ui" version="3.5.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.core" version="3.0.0"/>
<import plugin="org.eventb.ui" version="3.0.0"/>
</requires> </requires>
<plugin <plugin
......
...@@ -230,10 +230,10 @@ litigation. ...@@ -230,10 +230,10 @@ litigation.
<import plugin="org.eclipse.jface"/> <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="equivalent"/>
<import plugin="de.prob.core" version="9.4.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="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.eventb.core" version="3.0.0"/>
<import plugin="org.eclipse.ui.workbench"/>
<import plugin="org.eventb.ui" version="3.0.0"/>
</requires> </requires>
<plugin <plugin
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment