From f1f3552e265a25066293ef0974c69edabd44bd42 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 3 Jul 2023 13:00:26 +0200
Subject: [PATCH] Sort all the dependencies alphabetically
---
.../META-INF/MANIFEST.MF | 274 +++++++++---------
de.prob.core.tests/META-INF/MANIFEST.MF | 6 +-
de.prob.core/META-INF/MANIFEST.MF | 12 +-
.../META-INF/MANIFEST.MF | 8 +-
.../META-INF/MANIFEST.MF | 14 +-
de.prob.symbolic/META-INF/MANIFEST.MF | 10 +-
de.prob.ui/META-INF/MANIFEST.MF | 10 +-
de.prob2.disprover.feature/feature.xml | 14 +-
de.prob2.feature/feature.xml | 42 +--
de.prob2.symbolic.feature/feature.xml | 4 +-
10 files changed, 198 insertions(+), 196 deletions(-)
diff --git a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
index 13f2dfd6..64a51d2a 100644
--- a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
+++ b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
@@ -4,150 +4,152 @@ Bundle-Name: BMotion Studio Editor Plug-in
Bundle-SymbolicName: de.bmotionstudio.gef.editor;singleton:=true
Bundle-Version: 5.6.0.qualifier
Bundle-Activator: de.bmotionstudio.gef.editor.BMotionEditorPlugin
-Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.ui.views;bundle-version="[3.5.0,4.0.0)";visibility:=reexport,
- org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
+Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)";visibility:=reexport,
org.eclipse.core.databinding;bundle-version="[1.2.0,2.0.0)",
- org.eclipse.jface.databinding;bundle-version="[1.2.1,2.0.0)",
org.eclipse.core.databinding.beans;bundle-version="[1.1.1,2.0.0)",
+ org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
org.eclipse.gef;bundle-version="[3.7.0,4.0.0)";visibility:=reexport,
- de.prob.core;bundle-version="[9.5.0,9.6.0)";visibility:=reexport,
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
org.eclipse.help;bundle-version="3.5.100",
- org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
- org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)"
+ org.eclipse.jface.databinding;bundle-version="[1.2.1,2.0.0)",
+ org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
+ org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)",
+ org.eclipse.ui.views;bundle-version="[3.5.0,4.0.0)";visibility:=reexport,
+ org.eventb.core;bundle-version="[3.0.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-11
Eclipse-RegisterBuddy: de.prob.core
Bundle-Vendor: HHU Düsseldorf STUPS Group
-Export-Package: de.bmotionstudio.gef.editor;
- uses:="org.eclipse.jface.wizard,
- org.eclipse.core.runtime,
- de.prob.core,
- org.eclipse.gef.editparts,
- org.eclipse.gef.palette,
- org.eclipse.jface.action,
- org.eclipse.gef.commands,
- org.eclipse.core.resources,
- org.eclipse.jface.viewers,
- de.bmotionstudio.gef.editor.model,
- org.eclipse.gef.ui.parts,
- org.eclipse.gef,
- org.eclipse.gef.ui.properties,
- org.eclipse.jface.resource,
- org.eclipse.gef.ui.actions,
- org.eclipse.ui,
- org.eclipse.ui.views.properties,
- org.eclipse.ui.plugin,
- de.bmotionstudio.gef.editor.part,
- org.eclipse.ui.part,
- org.eclipse.draw2d,
- de.prob.core.domainobjects,
- org.eclipse.gef.requests,
- org.eclipse.swt.graphics,
- org.osgi.framework,
- org.eclipse.swt.widgets,
- org.eclipse.gef.ui.palette",
- de.bmotionstudio.gef.editor.attribute;uses:="org.eclipse.ui.views.properties,de.bmotionstudio.gef.editor.model",
- de.bmotionstudio.gef.editor.command;
- uses:="de.bmotionstudio.gef.editor.observer,
- org.eclipse.gef.commands,
- org.eclipse.draw2d.geometry,
- de.bmotionstudio.gef.editor.model,
- de.bmotionstudio.gef.editor.scheduler",
- de.bmotionstudio.gef.editor.edit;
- uses:="org.eclipse.jface.window,
- org.eclipse.core.databinding,
- de.bmotionstudio.gef.editor.part,
- org.eclipse.draw2d,
- org.eclipse.gef.tools,
- org.eclipse.jface.databinding.viewers,
- org.eclipse.jface.fieldassist,
- org.eclipse.core.databinding.observable.value,
- org.eclipse.jface.bindings.keys,
- org.eclipse.jface.viewers,
- org.eclipse.swt.graphics,
- de.bmotionstudio.gef.editor.model,
- org.eclipse.swt.widgets",
- de.bmotionstudio.gef.editor.editpolicy;
- uses:="org.eclipse.gef.commands,
- org.eclipse.gef.requests,
- org.eclipse.draw2d.geometry,
- de.bmotionstudio.gef.editor.model,
- org.eclipse.gef.editpolicies,
- org.eclipse.draw2d,
- org.eclipse.gef",
- de.bmotionstudio.gef.editor.eventb;
- uses:="org.eventb.core.basis,
- org.eclipse.core.resources,
- org.eventb.core.ast,
- org.eventb.core,
- de.bmotionstudio.gef.editor.model,
- de.bmotionstudio.gef.editor",
- de.bmotionstudio.gef.editor.figure;
- uses:="org.eclipse.draw2d.geometry,
- org.eclipse.swt.graphics,
- de.bmotionstudio.gef.editor.model,
- org.eclipse.draw2d",
- de.bmotionstudio.gef.editor.library;
- uses:="org.eclipse.ui,
- org.eclipse.ui.part,
- de.bmotionstudio.gef.editor,
- org.eclipse.jface.action,
- org.eclipse.gef.dnd,
- org.eclipse.gef.commands,
- org.eclipse.jface.viewers,
- org.eclipse.swt.graphics,
- org.eclipse.draw2d.geometry,
- de.bmotionstudio.gef.editor.model,
- org.eclipse.swt.widgets,
- org.eclipse.gef",
- de.bmotionstudio.gef.editor.model;
- uses:="org.eclipse.core.runtime,
- de.bmotionstudio.gef.editor.attribute,
- de.bmotionstudio.gef.editor,
- de.bmotionstudio.gef.editor.observer,
- org.eclipse.gef.commands,
- org.eclipse.core.resources,
- org.eclipse.swt.graphics,
- org.eclipse.draw2d.geometry,
- org.eclipse.gef.rulers,
- de.bmotionstudio.gef.editor.scheduler",
- de.bmotionstudio.gef.editor.observer;
- uses:="org.eclipse.swt.graphics,
- de.bmotionstudio.gef.editor.model,
- org.eclipse.draw2d,
- de.bmotionstudio.gef.editor.scheduler,
- de.bmotionstudio.gef.editor",
- de.bmotionstudio.gef.editor.part;
- uses:="de.bmotionstudio.gef.editor.observer,
- org.eclipse.core.runtime,
- org.eclipse.gef.editparts,
- org.eclipse.swt.graphics,
- de.bmotionstudio.gef.editor.model,
- org.eclipse.draw2d,
- de.bmotionstudio.gef.editor.library,
- org.eclipse.gef",
- de.bmotionstudio.gef.editor.property;
- uses:="org.eclipse.swt.events,
- org.eclipse.ui.views.properties,
- org.eclipse.swt.graphics,
- org.eclipse.jface.viewers,
- org.eclipse.swt.widgets,
- org.eclipse.jface.dialogs,
- de.bmotionstudio.gef.editor.library",
- de.bmotionstudio.gef.editor.scheduler;
- uses:="de.bmotionstudio.gef.editor.observer,
- org.eclipse.swt.graphics,
- de.bmotionstudio.gef.editor.model,
- de.bmotionstudio.gef.editor",
- de.bmotionstudio.gef.editor.util;
- uses:="org.eclipse.jface.viewers,
- de.bmotionstudio.gef.editor.model,
- org.eclipse.swt.widgets,
- de.bmotionstudio.gef.editor"
+Export-Package: de.bmotionstudio.gef.editor;uses:="
+ de.bmotionstudio.gef.editor.model,
+ de.bmotionstudio.gef.editor.part,
+ de.prob.core,
+ de.prob.core.domainobjects,
+ org.eclipse.core.resources,
+ org.eclipse.core.runtime,
+ org.eclipse.draw2d,
+ org.eclipse.gef,
+ org.eclipse.gef.commands,
+ org.eclipse.gef.editparts,
+ org.eclipse.gef.palette,
+ org.eclipse.gef.requests,
+ org.eclipse.gef.ui.actions,
+ org.eclipse.gef.ui.palette,
+ org.eclipse.gef.ui.parts,
+ org.eclipse.gef.ui.properties,
+ org.eclipse.jface.action,
+ org.eclipse.jface.resource,
+ org.eclipse.jface.viewers,
+ org.eclipse.jface.wizard,
+ org.eclipse.swt.graphics,
+ org.eclipse.swt.widgets,
+ org.eclipse.ui,
+ org.eclipse.ui.part,
+ org.eclipse.ui.plugin,
+ org.eclipse.ui.views.properties,
+ org.osgi.framework",
+ de.bmotionstudio.gef.editor.attribute;uses:="
+ org.eclipse.ui.views.properties,
+ de.bmotionstudio.gef.editor.model",
+ de.bmotionstudio.gef.editor.command;uses:="
+ de.bmotionstudio.gef.editor.model,
+ de.bmotionstudio.gef.editor.observer,
+ de.bmotionstudio.gef.editor.scheduler,
+ org.eclipse.draw2d.geometry,
+ org.eclipse.gef.commands",
+ de.bmotionstudio.gef.editor.edit;uses:="
+ de.bmotionstudio.gef.editor.model,
+ de.bmotionstudio.gef.editor.part,
+ org.eclipse.core.databinding,
+ org.eclipse.core.databinding.observable.value,
+ org.eclipse.draw2d,
+ org.eclipse.gef.tools,
+ org.eclipse.jface.bindings.keys,
+ org.eclipse.jface.databinding.viewers,
+ org.eclipse.jface.fieldassist,
+ org.eclipse.jface.viewers,
+ org.eclipse.jface.window,
+ org.eclipse.swt.graphics,
+ org.eclipse.swt.widgets",
+ de.bmotionstudio.gef.editor.editpolicy;uses:="
+ de.bmotionstudio.gef.editor.model,
+ org.eclipse.draw2d,
+ org.eclipse.draw2d.geometry,
+ org.eclipse.gef,
+ org.eclipse.gef.commands,
+ org.eclipse.gef.editpolicies,
+ org.eclipse.gef.requests",
+ de.bmotionstudio.gef.editor.eventb;uses:="
+ de.bmotionstudio.gef.editor,
+ de.bmotionstudio.gef.editor.model,
+ org.eclipse.core.resources,
+ org.eventb.core,
+ org.eventb.core.ast,
+ org.eventb.core.basis",
+ de.bmotionstudio.gef.editor.figure;uses:="
+ de.bmotionstudio.gef.editor.model,
+ org.eclipse.draw2d,
+ org.eclipse.draw2d.geometry,
+ org.eclipse.swt.graphics",
+ de.bmotionstudio.gef.editor.library;uses:="
+ de.bmotionstudio.gef.editor,
+ de.bmotionstudio.gef.editor.model,
+ org.eclipse.draw2d.geometry,
+ org.eclipse.gef,
+ org.eclipse.gef.commands,
+ org.eclipse.gef.dnd,
+ org.eclipse.jface.action,
+ org.eclipse.jface.viewers,
+ org.eclipse.swt.graphics,
+ org.eclipse.swt.widgets,
+ org.eclipse.ui,
+ org.eclipse.ui.part",
+ de.bmotionstudio.gef.editor.model;uses:="
+ de.bmotionstudio.gef.editor,
+ de.bmotionstudio.gef.editor.attribute,
+ de.bmotionstudio.gef.editor.observer,
+ de.bmotionstudio.gef.editor.scheduler,
+ org.eclipse.core.resources,
+ org.eclipse.core.runtime,
+ org.eclipse.draw2d.geometry,
+ org.eclipse.gef.commands,
+ org.eclipse.gef.rulers,
+ org.eclipse.swt.graphics",
+ de.bmotionstudio.gef.editor.observer;uses:="
+ de.bmotionstudio.gef.editor,
+ de.bmotionstudio.gef.editor.model,
+ de.bmotionstudio.gef.editor.scheduler,
+ org.eclipse.draw2d,
+ org.eclipse.swt.graphics",
+ de.bmotionstudio.gef.editor.part;uses:="
+ de.bmotionstudio.gef.editor.library,
+ de.bmotionstudio.gef.editor.model,
+ de.bmotionstudio.gef.editor.observer,
+ org.eclipse.core.runtime,
+ org.eclipse.draw2d,
+ org.eclipse.gef,
+ org.eclipse.gef.editparts,
+ org.eclipse.swt.graphics",
+ de.bmotionstudio.gef.editor.property;uses:="
+ de.bmotionstudio.gef.editor.library,
+ org.eclipse.jface.dialogs,
+ org.eclipse.jface.viewers,
+ org.eclipse.swt.events,
+ org.eclipse.swt.graphics,
+ org.eclipse.swt.widgets,
+ org.eclipse.ui.views.properties",
+ de.bmotionstudio.gef.editor.scheduler;uses:="
+ de.bmotionstudio.gef.editor,
+ de.bmotionstudio.gef.editor.model,
+ de.bmotionstudio.gef.editor.observer,
+ org.eclipse.swt.graphics",
+ de.bmotionstudio.gef.editor.util;uses:="
+ de.bmotionstudio.gef.editor,
+ de.bmotionstudio.gef.editor.model,
+ org.eclipse.jface.viewers,
+ org.eclipse.swt.widgets"
Bundle-ClassPath: .,
lib/dependencies/mxparser-1.2.2.jar,
lib/dependencies/xmlpull-1.1.3.1.jar,
diff --git a/de.prob.core.tests/META-INF/MANIFEST.MF b/de.prob.core.tests/META-INF/MANIFEST.MF
index d244c60c..dc159740 100644
--- a/de.prob.core.tests/META-INF/MANIFEST.MF
+++ b/de.prob.core.tests/META-INF/MANIFEST.MF
@@ -4,13 +4,13 @@ Bundle-Name: Tests
Bundle-SymbolicName: de.prob.core.tests
Bundle-Version: 1.0.0.qualifier
Bundle-Activator: de.prob.core.tests.Activator
-Require-Bundle: org.eclipse.ui,
+Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
org.eclipse.core.resources,
org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
+ org.eclipse.ui,
org.eventb.core;bundle-version="[3.3.0,4.0.0)",
org.eventb.core.ast;bundle-version="[3.3.0,4.0.0)",
org.junit;bundle-version="[4.0.0,5.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
- de.prob.core;bundle-version="[9.5.0,9.6.0)"
+ org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-11
diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF
index 3ab27fbd..f19d7521 100644
--- a/de.prob.core/META-INF/MANIFEST.MF
+++ b/de.prob.core/META-INF/MANIFEST.MF
@@ -3,14 +3,14 @@ Bundle-ManifestVersion: 2
Bundle-Name: ProB Animator Core
Bundle-SymbolicName: de.prob.core;singleton:=true
Bundle-Version: 9.5.0.qualifier
-Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.core.filesystem,
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
- org.eventb.theory.core;bundle-version="[4.0.0,4.1.0)";resolution:=optional,
- org.eventb.core.ast;bundle-version="[3.3.0,4.0.0)",
+Require-Bundle: org.eclipse.core.filesystem,
org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.3.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.3.0,4.0.0)",
org.eventb.core.seqprover;bundle-version="[3.2.0,4.0.0)",
- org.eventb.core;bundle-version="[3.3.0,4.0.0)"
+ org.eventb.theory.core;bundle-version="[4.0.0,4.1.0)";resolution:=optional,
+ org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
Bundle-ActivationPolicy: lazy
Eclipse-BundleShape: dir
Bundle-Vendor: HHU Dusseldorf STUPS Group
diff --git a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
index 074bca98..7b610c8c 100644
--- a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
+++ b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
@@ -4,12 +4,12 @@ Bundle-Name: ProB Disprover Core for EventB
Bundle-SymbolicName: de.prob.eventb.disprover.core;singleton:=true
Bundle-Version: 2.1.0.qualifier
Bundle-Vendor: Heinrich-Heine University Dusseldorf
-Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- de.prob.core;bundle-version="[9.5.0,9.6.0)",
- org.eventb.core.seqprover;bundle-version="[3.0.0,4.0.0)",
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
+Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
+ org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.0.0,4.0.0)",
org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
+ org.eventb.core.seqprover;bundle-version="[3.0.0,4.0.0)",
org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ActivationPolicy: lazy
diff --git a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
index 98d31f52..16761b4a 100644
--- a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
+++ b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
@@ -4,17 +4,17 @@ Bundle-Name: ProB Disprover UI for EventB
Bundle-SymbolicName: de.prob.eventb.disprover.ui;singleton:=true
Bundle-Version: 2.1.0.qualifier
Bundle-Vendor: Heinrich-Heine University Dusseldorf
-Require-Bundle: org.eclipse.core.runtime,
- org.eventb.ui;bundle-version="[3.0.0,4.0.0)",
+Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
de.prob.eventb.disprover.core;bundle-version="[2.1.0,2.2.0)",
+ de.prob.ui;bundle-version="[7.5.0,7.6.0)",
+ org.eclipse.core.runtime,
+ org.eclipse.osgi,
org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- de.prob.core;bundle-version="[9.5.0,9.6.0)",
+ org.eventb.core;bundle-version="[3.0.0,4.0.0)",
org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
org.eventb.core.seqprover;bundle-version="[3.0.0,4.0.0)",
- org.eclipse.osgi,
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
- de.prob.ui;bundle-version="[7.5.0,7.6.0)"
+ org.eventb.ui;bundle-version="[3.0.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ActivationPolicy: lazy
Bundle-Localization: plugin
diff --git a/de.prob.symbolic/META-INF/MANIFEST.MF b/de.prob.symbolic/META-INF/MANIFEST.MF
index 323933e1..1b713a2f 100644
--- a/de.prob.symbolic/META-INF/MANIFEST.MF
+++ b/de.prob.symbolic/META-INF/MANIFEST.MF
@@ -4,13 +4,13 @@ Bundle-Name: ProB Symbolic Evaluation Support
Bundle-SymbolicName: de.prob.symbolic;singleton:=true
Bundle-Version: 7.5.0.qualifier
Bundle-Activator: de.prob.symbolic.Activator
-Require-Bundle: org.eclipse.core.runtime,
- de.prob.core;bundle-version="[9.5.0,9.6.0)",
- org.eventb.ui;bundle-version="[3.0.0,4.0.0)",
+Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
de.prob.ui;bundle-version="[7.5.0,7.6.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
+ org.eclipse.core.runtime,
org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eventb.core;bundle-version="[3.0.0,4.0.0)"
+ org.eventb.core;bundle-version="[3.0.0,4.0.0)",
+ org.eventb.ui;bundle-version="[3.0.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-Vendor: HHU Düsseldorf STUPS Group
diff --git a/de.prob.ui/META-INF/MANIFEST.MF b/de.prob.ui/META-INF/MANIFEST.MF
index 50274b72..4d6e92e0 100644
--- a/de.prob.ui/META-INF/MANIFEST.MF
+++ b/de.prob.ui/META-INF/MANIFEST.MF
@@ -3,14 +3,14 @@ Bundle-ManifestVersion: 2
Bundle-Name: ProB Ui Plug-in
Bundle-SymbolicName: de.prob.ui;singleton:=true
Bundle-Version: 7.5.0.qualifier
-Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
+Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
+ org.eclipse.core.expressions;bundle-version="[3.4.101,4.0.0)",
org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
+ org.eclipse.gef;bundle-version="[3.7.0,4.0.0)",
+ org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)",
- de.prob.core;bundle-version="[9.5.0,9.6.0)",
org.eventb.core;bundle-version="[3.0.0,4.0.0)",
- org.eclipse.core.expressions;bundle-version="[3.4.101,4.0.0)",
- org.eclipse.gef;bundle-version="[3.7.0,4.0.0)",
org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
Bundle-ActivationPolicy: lazy
diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index aa060450..47b50a2d 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -228,17 +228,17 @@ litigation.
</license>
<requires>
- <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
<import plugin="de.prob.core" version="9.5.0" match="equivalent"/>
- <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
- <import plugin="org.eventb.core" version="3.0.0"/>
+ <import plugin="de.prob.eventb.disprover.core" version="2.1.0" match="equivalent"/>
+ <import plugin="de.prob.ui" version="7.5.0" match="equivalent"/>
+ <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
+ <import plugin="org.eclipse.osgi"/>
<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.ast" version="3.0.0"/>
- <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
+ <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
<import plugin="org.eventb.ui" version="3.0.0"/>
- <import plugin="org.eclipse.osgi"/>
- <import plugin="de.prob.ui" version="7.5.0" match="equivalent"/>
- <import plugin="de.prob.eventb.disprover.core" version="2.1.0" match="equivalent"/>
+ <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
</requires>
<plugin
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 1c2d49b9..e26d508b 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -228,25 +228,25 @@ litigation.
</license>
<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.core.runtime" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.gef" version="3.7.0" match="compatible"/>
+ <import plugin="de.bmotionstudio.gef.editor" version="5.6.0" match="equivalent"/>
<import plugin="de.prob.core" version="9.5.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="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.5.0" match="equivalent"/>
- <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
- <import plugin="org.eclipse.ui.views" 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.core.expressions" version="3.4.101" match="compatible"/>
+ <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
+ <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
+ <import plugin="org.eclipse.gef" version="3.7.0" match="compatible"/>
<import plugin="org.eclipse.help" version="3.5.100" match="compatible"/>
+ <import plugin="org.eclipse.jface.databinding" version="1.2.1" match="compatible"/>
+ <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.navigator" version="3.5.0" match="compatible"/>
- <import plugin="de.bmotionstudio.gef.editor" version="5.6.0" match="equivalent"/>
+ <import plugin="org.eclipse.ui.views" version="3.5.0" match="compatible"/>
+ <import plugin="org.eventb.core" version="3.0.0"/>
+ <import plugin="org.eventb.core.ast" version="3.0.0"/>
+ <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
+ <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
</requires>
<plugin
@@ -256,6 +256,14 @@ litigation.
version="0.0.0"
unpack="false"/>
+ <plugin
+ id="de.bmotionstudio.rodin"
+ download-size="0"
+ install-size="0"
+ version="0.0.0"
+ fragment="true"
+ unpack="false"/>
+
<plugin
id="de.prob.core"
download-size="0"
@@ -277,12 +285,4 @@ litigation.
version="0.0.0"
unpack="false"/>
- <plugin
- id="de.bmotionstudio.rodin"
- download-size="0"
- install-size="0"
- version="0.0.0"
- fragment="true"
- unpack="false"/>
-
</feature>
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index 9cb7ea5c..9bebe83b 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -228,13 +228,13 @@ litigation.
</license>
<requires>
- <import plugin="org.eclipse.core.runtime"/>
<import plugin="de.prob.core" version="9.5.0" match="equivalent"/>
<import plugin="de.prob.ui" version="7.5.0" match="equivalent"/>
- <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
+ <import plugin="org.eclipse.core.runtime"/>
<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"/>
+ <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
</requires>
<plugin
--
GitLab