From 1d46fa6c93c4be4ee293c75995893c32c37a9b71 Mon Sep 17 00:00:00 2001 From: Sebastian Krings <sebastian@krin.gs> Date: Thu, 25 Sep 2014 14:41:14 +0200 Subject: [PATCH] rodin version bump --- de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF | 2 +- de.prob.symbolic/META-INF/MANIFEST.MF | 2 +- de.prob.units/META-INF/MANIFEST.MF | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF index 7da02f43..aa45f941 100644 --- a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF +++ b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF @@ -5,7 +5,7 @@ Bundle-SymbolicName: de.prob.eventb.disprover.ui;singleton:=true Bundle-Version: 2.0.3.qualifier Bundle-Vendor: Heinrich-Heine University Dusseldorf Require-Bundle: org.eclipse.core.runtime, - org.eventb.ui;bundle-version="[3.0.0,3.1.0)", + org.eventb.ui;bundle-version="[3.0.0,3.2.0)", de.prob.eventb.disprover.core;bundle-version="[1.3.2,2.0.0)", org.eclipse.ui;bundle-version="[3.5.0,4.0.0)", de.prob.core, diff --git a/de.prob.symbolic/META-INF/MANIFEST.MF b/de.prob.symbolic/META-INF/MANIFEST.MF index 52e10653..b612b4c3 100644 --- a/de.prob.symbolic/META-INF/MANIFEST.MF +++ b/de.prob.symbolic/META-INF/MANIFEST.MF @@ -6,7 +6,7 @@ Bundle-Version: 1.0.0.qualifier Bundle-Activator: de.prob.symbolic.Activator Require-Bundle: org.eclipse.core.runtime, de.prob.core;bundle-version="[9.4.0,9.5.0)", - org.eventb.ui;bundle-version="[3.0.0,3.1.0)", + org.eventb.ui;bundle-version="[3.0.0,3.2.0)", de.prob.ui;bundle-version="[7.4.0,7.5.0)", org.rodinp.core;bundle-version="[1.7.0,1.8.0)", org.eclipse.ui;bundle-version="[3.5.0,4.0.0)", diff --git a/de.prob.units/META-INF/MANIFEST.MF b/de.prob.units/META-INF/MANIFEST.MF index fb821994..d0846e66 100644 --- a/de.prob.units/META-INF/MANIFEST.MF +++ b/de.prob.units/META-INF/MANIFEST.MF @@ -10,7 +10,7 @@ Require-Bundle: org.eclipse.core.runtime, org.eclipse.jface, org.rodinp.core;bundle-version="[1.7.0,1.8.0)", de.prob.core;bundle-version="[9.4.0,9.5.0)", - org.eventb.ui;bundle-version="[3.0.0,3.1.0)", + org.eventb.ui;bundle-version="[3.0.0,3.2.0)", de.prob.ui;bundle-version="[7.4.0,7.5.0)", org.eventb.core;bundle-version="[3.0.0,3.2.0)", org.eclipse.ui.workbench -- GitLab