Skip to content
Snippets Groups Projects
Commit f1f3552e authored by dgelessus's avatar dgelessus
Browse files

Sort all the dependencies alphabetically

parent 1f69744b
No related branches found
No related tags found
No related merge requests found
...@@ -4,150 +4,152 @@ Bundle-Name: BMotion Studio Editor Plug-in ...@@ -4,150 +4,152 @@ Bundle-Name: BMotion Studio Editor Plug-in
Bundle-SymbolicName: de.bmotionstudio.gef.editor;singleton:=true Bundle-SymbolicName: de.bmotionstudio.gef.editor;singleton:=true
Bundle-Version: 5.6.0.qualifier Bundle-Version: 5.6.0.qualifier
Bundle-Activator: de.bmotionstudio.gef.editor.BMotionEditorPlugin Bundle-Activator: de.bmotionstudio.gef.editor.BMotionEditorPlugin
Require-Bundle: org.eclipse.ui;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.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)",
org.eclipse.core.databinding;bundle-version="[1.2.0,2.0.0)", 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.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, 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.help;bundle-version="3.5.100",
org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)", org.eclipse.jface.databinding;bundle-version="[1.2.1,2.0.0)",
org.rodinp.core;bundle-version="[1.7.0,2.0.0)", org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
org.eventb.core.ast;bundle-version="[3.0.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-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-RequiredExecutionEnvironment: JavaSE-11
Eclipse-RegisterBuddy: de.prob.core Eclipse-RegisterBuddy: de.prob.core
Bundle-Vendor: HHU Düsseldorf STUPS Group Bundle-Vendor: HHU Düsseldorf STUPS Group
Export-Package: de.bmotionstudio.gef.editor; Export-Package: de.bmotionstudio.gef.editor;uses:="
uses:="org.eclipse.jface.wizard, de.bmotionstudio.gef.editor.model,
org.eclipse.core.runtime, de.bmotionstudio.gef.editor.part,
de.prob.core, 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.editparts,
org.eclipse.gef.palette, org.eclipse.gef.palette,
org.eclipse.jface.action, org.eclipse.gef.requests,
org.eclipse.gef.commands, org.eclipse.gef.ui.actions,
org.eclipse.core.resources, org.eclipse.gef.ui.palette,
org.eclipse.jface.viewers,
de.bmotionstudio.gef.editor.model,
org.eclipse.gef.ui.parts, org.eclipse.gef.ui.parts,
org.eclipse.gef,
org.eclipse.gef.ui.properties, org.eclipse.gef.ui.properties,
org.eclipse.jface.action,
org.eclipse.jface.resource, org.eclipse.jface.resource,
org.eclipse.gef.ui.actions, org.eclipse.jface.viewers,
org.eclipse.ui, org.eclipse.jface.wizard,
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.eclipse.swt.graphics,
org.osgi.framework,
org.eclipse.swt.widgets, org.eclipse.swt.widgets,
org.eclipse.gef.ui.palette", org.eclipse.ui,
de.bmotionstudio.gef.editor.attribute;uses:="org.eclipse.ui.views.properties,de.bmotionstudio.gef.editor.model", org.eclipse.ui.part,
de.bmotionstudio.gef.editor.command; org.eclipse.ui.plugin,
uses:="de.bmotionstudio.gef.editor.observer, org.eclipse.ui.views.properties,
org.eclipse.gef.commands, 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.draw2d.geometry,
org.eclipse.gef.commands",
de.bmotionstudio.gef.editor.edit;uses:="
de.bmotionstudio.gef.editor.model, 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, de.bmotionstudio.gef.editor.part,
org.eclipse.core.databinding,
org.eclipse.core.databinding.observable.value,
org.eclipse.draw2d, org.eclipse.draw2d,
org.eclipse.gef.tools, org.eclipse.gef.tools,
org.eclipse.jface.bindings.keys,
org.eclipse.jface.databinding.viewers, org.eclipse.jface.databinding.viewers,
org.eclipse.jface.fieldassist, org.eclipse.jface.fieldassist,
org.eclipse.core.databinding.observable.value,
org.eclipse.jface.bindings.keys,
org.eclipse.jface.viewers, org.eclipse.jface.viewers,
org.eclipse.jface.window,
org.eclipse.swt.graphics, org.eclipse.swt.graphics,
de.bmotionstudio.gef.editor.model,
org.eclipse.swt.widgets", org.eclipse.swt.widgets",
de.bmotionstudio.gef.editor.editpolicy; de.bmotionstudio.gef.editor.editpolicy;uses:="
uses:="org.eclipse.gef.commands,
org.eclipse.gef.requests,
org.eclipse.draw2d.geometry,
de.bmotionstudio.gef.editor.model, de.bmotionstudio.gef.editor.model,
org.eclipse.gef.editpolicies,
org.eclipse.draw2d, org.eclipse.draw2d,
org.eclipse.gef", org.eclipse.draw2d.geometry,
de.bmotionstudio.gef.editor.eventb; org.eclipse.gef,
uses:="org.eventb.core.basis, 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.eclipse.core.resources,
org.eventb.core.ast,
org.eventb.core, org.eventb.core,
org.eventb.core.ast,
org.eventb.core.basis",
de.bmotionstudio.gef.editor.figure;uses:="
de.bmotionstudio.gef.editor.model, de.bmotionstudio.gef.editor.model,
de.bmotionstudio.gef.editor", org.eclipse.draw2d,
de.bmotionstudio.gef.editor.figure; org.eclipse.draw2d.geometry,
uses:="org.eclipse.draw2d.geometry, org.eclipse.swt.graphics",
org.eclipse.swt.graphics, de.bmotionstudio.gef.editor.library;uses:="
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, de.bmotionstudio.gef.editor,
org.eclipse.jface.action, de.bmotionstudio.gef.editor.model,
org.eclipse.gef.dnd, org.eclipse.draw2d.geometry,
org.eclipse.gef,
org.eclipse.gef.commands, org.eclipse.gef.commands,
org.eclipse.gef.dnd,
org.eclipse.jface.action,
org.eclipse.jface.viewers, org.eclipse.jface.viewers,
org.eclipse.swt.graphics, org.eclipse.swt.graphics,
org.eclipse.draw2d.geometry,
de.bmotionstudio.gef.editor.model,
org.eclipse.swt.widgets, org.eclipse.swt.widgets,
org.eclipse.gef", org.eclipse.ui,
de.bmotionstudio.gef.editor.model; org.eclipse.ui.part",
uses:="org.eclipse.core.runtime, de.bmotionstudio.gef.editor.model;uses:="
de.bmotionstudio.gef.editor.attribute,
de.bmotionstudio.gef.editor, de.bmotionstudio.gef.editor,
de.bmotionstudio.gef.editor.attribute,
de.bmotionstudio.gef.editor.observer, de.bmotionstudio.gef.editor.observer,
org.eclipse.gef.commands, de.bmotionstudio.gef.editor.scheduler,
org.eclipse.core.resources, org.eclipse.core.resources,
org.eclipse.swt.graphics, org.eclipse.core.runtime,
org.eclipse.draw2d.geometry, org.eclipse.draw2d.geometry,
org.eclipse.gef.commands,
org.eclipse.gef.rulers, org.eclipse.gef.rulers,
de.bmotionstudio.gef.editor.scheduler", org.eclipse.swt.graphics",
de.bmotionstudio.gef.editor.observer; de.bmotionstudio.gef.editor.observer;uses:="
uses:="org.eclipse.swt.graphics, de.bmotionstudio.gef.editor,
de.bmotionstudio.gef.editor.model, de.bmotionstudio.gef.editor.model,
org.eclipse.draw2d,
de.bmotionstudio.gef.editor.scheduler, de.bmotionstudio.gef.editor.scheduler,
de.bmotionstudio.gef.editor", org.eclipse.draw2d,
de.bmotionstudio.gef.editor.part; org.eclipse.swt.graphics",
uses:="de.bmotionstudio.gef.editor.observer, de.bmotionstudio.gef.editor.part;uses:="
org.eclipse.core.runtime, de.bmotionstudio.gef.editor.library,
org.eclipse.gef.editparts,
org.eclipse.swt.graphics,
de.bmotionstudio.gef.editor.model, de.bmotionstudio.gef.editor.model,
de.bmotionstudio.gef.editor.observer,
org.eclipse.core.runtime,
org.eclipse.draw2d, 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, 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, org.eclipse.jface.dialogs,
de.bmotionstudio.gef.editor.library", org.eclipse.jface.viewers,
de.bmotionstudio.gef.editor.scheduler; org.eclipse.swt.events,
uses:="de.bmotionstudio.gef.editor.observer,
org.eclipse.swt.graphics, 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.model,
de.bmotionstudio.gef.editor", de.bmotionstudio.gef.editor.observer,
de.bmotionstudio.gef.editor.util; org.eclipse.swt.graphics",
uses:="org.eclipse.jface.viewers, de.bmotionstudio.gef.editor.util;uses:="
de.bmotionstudio.gef.editor,
de.bmotionstudio.gef.editor.model, de.bmotionstudio.gef.editor.model,
org.eclipse.swt.widgets, org.eclipse.jface.viewers,
de.bmotionstudio.gef.editor" org.eclipse.swt.widgets"
Bundle-ClassPath: ., Bundle-ClassPath: .,
lib/dependencies/mxparser-1.2.2.jar, lib/dependencies/mxparser-1.2.2.jar,
lib/dependencies/xmlpull-1.1.3.1.jar, lib/dependencies/xmlpull-1.1.3.1.jar,
......
...@@ -4,13 +4,13 @@ Bundle-Name: Tests ...@@ -4,13 +4,13 @@ Bundle-Name: Tests
Bundle-SymbolicName: de.prob.core.tests Bundle-SymbolicName: de.prob.core.tests
Bundle-Version: 1.0.0.qualifier Bundle-Version: 1.0.0.qualifier
Bundle-Activator: de.prob.core.tests.Activator 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.resources,
org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)", 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;bundle-version="[3.3.0,4.0.0)",
org.eventb.core.ast;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.junit;bundle-version="[4.0.0,5.0.0)",
org.rodinp.core;bundle-version="[1.7.0,2.0.0)", org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
de.prob.core;bundle-version="[9.5.0,9.6.0)"
Bundle-ActivationPolicy: lazy Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-RequiredExecutionEnvironment: JavaSE-11
...@@ -3,14 +3,14 @@ Bundle-ManifestVersion: 2 ...@@ -3,14 +3,14 @@ Bundle-ManifestVersion: 2
Bundle-Name: ProB Animator Core Bundle-Name: ProB Animator Core
Bundle-SymbolicName: de.prob.core;singleton:=true Bundle-SymbolicName: de.prob.core;singleton:=true
Bundle-Version: 9.5.0.qualifier Bundle-Version: 9.5.0.qualifier
Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)", Require-Bundle: org.eclipse.core.filesystem,
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)",
org.eclipse.core.resources;bundle-version="[3.5.0,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.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.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 Bundle-ActivationPolicy: lazy
Eclipse-BundleShape: dir Eclipse-BundleShape: dir
Bundle-Vendor: HHU Dusseldorf STUPS Group Bundle-Vendor: HHU Dusseldorf STUPS Group
......
...@@ -4,12 +4,12 @@ Bundle-Name: ProB Disprover Core for EventB ...@@ -4,12 +4,12 @@ Bundle-Name: ProB Disprover Core for EventB
Bundle-SymbolicName: de.prob.eventb.disprover.core;singleton:=true Bundle-SymbolicName: de.prob.eventb.disprover.core;singleton:=true
Bundle-Version: 2.1.0.qualifier Bundle-Version: 2.1.0.qualifier
Bundle-Vendor: Heinrich-Heine University Dusseldorf Bundle-Vendor: Heinrich-Heine University Dusseldorf
Require-Bundle: 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)",
de.prob.core;bundle-version="[9.5.0,9.6.0)", org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
org.eventb.core.seqprover;bundle-version="[3.0.0,4.0.0)",
org.eventb.core;bundle-version="[3.0.0,4.0.0)",
org.eclipse.ui;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.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)" org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ActivationPolicy: lazy Bundle-ActivationPolicy: lazy
......
...@@ -4,17 +4,17 @@ Bundle-Name: ProB Disprover UI for EventB ...@@ -4,17 +4,17 @@ Bundle-Name: ProB Disprover UI for EventB
Bundle-SymbolicName: de.prob.eventb.disprover.ui;singleton:=true Bundle-SymbolicName: de.prob.eventb.disprover.ui;singleton:=true
Bundle-Version: 2.1.0.qualifier Bundle-Version: 2.1.0.qualifier
Bundle-Vendor: Heinrich-Heine University Dusseldorf Bundle-Vendor: Heinrich-Heine University Dusseldorf
Require-Bundle: org.eclipse.core.runtime, Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
org.eventb.ui;bundle-version="[3.0.0,4.0.0)",
de.prob.eventb.disprover.core;bundle-version="[2.1.0,2.2.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)", 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.ast;bundle-version="[3.0.0,4.0.0)",
org.eventb.core.seqprover;bundle-version="[3.0.0,4.0.0)", org.eventb.core.seqprover;bundle-version="[3.0.0,4.0.0)",
org.eclipse.osgi, org.eventb.ui;bundle-version="[3.0.0,4.0.0)",
org.rodinp.core;bundle-version="[1.7.0,2.0.0)", 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)"
Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ActivationPolicy: lazy Bundle-ActivationPolicy: lazy
Bundle-Localization: plugin Bundle-Localization: plugin
......
...@@ -4,13 +4,13 @@ Bundle-Name: ProB Symbolic Evaluation Support ...@@ -4,13 +4,13 @@ Bundle-Name: ProB Symbolic Evaluation Support
Bundle-SymbolicName: de.prob.symbolic;singleton:=true Bundle-SymbolicName: de.prob.symbolic;singleton:=true
Bundle-Version: 7.5.0.qualifier Bundle-Version: 7.5.0.qualifier
Bundle-Activator: de.prob.symbolic.Activator Bundle-Activator: de.prob.symbolic.Activator
Require-Bundle: org.eclipse.core.runtime, Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
de.prob.core;bundle-version="[9.5.0,9.6.0)",
org.eventb.ui;bundle-version="[3.0.0,4.0.0)",
de.prob.ui;bundle-version="[7.5.0,7.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.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-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-Vendor: HHU Düsseldorf STUPS Group Bundle-Vendor: HHU Düsseldorf STUPS Group
...@@ -3,14 +3,14 @@ Bundle-ManifestVersion: 2 ...@@ -3,14 +3,14 @@ Bundle-ManifestVersion: 2
Bundle-Name: ProB Ui Plug-in Bundle-Name: ProB Ui Plug-in
Bundle-SymbolicName: de.prob.ui;singleton:=true Bundle-SymbolicName: de.prob.ui;singleton:=true
Bundle-Version: 7.5.0.qualifier Bundle-Version: 7.5.0.qualifier
Require-Bundle: org.eclipse.ui;bundle-version="[3.5.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.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.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)", 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.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.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
org.rodinp.core;bundle-version="[1.7.0,2.0.0)" org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
Bundle-ActivationPolicy: lazy Bundle-ActivationPolicy: lazy
......
...@@ -228,17 +228,17 @@ litigation. ...@@ -228,17 +228,17 @@ litigation.
</license> </license>
<requires> <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="de.prob.core" version="9.5.0" match="equivalent"/>
<import plugin="org.eventb.core.seqprover" version="3.0.0"/> <import plugin="de.prob.eventb.disprover.core" version="2.1.0" match="equivalent"/>
<import plugin="org.eventb.core" version="3.0.0"/> <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.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.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.eventb.ui" version="3.0.0"/>
<import plugin="org.eclipse.osgi"/> <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
<import plugin="de.prob.ui" version="7.5.0" match="equivalent"/>
<import plugin="de.prob.eventb.disprover.core" version="2.1.0" match="equivalent"/>
</requires> </requires>
<plugin <plugin
......
...@@ -228,25 +228,25 @@ litigation. ...@@ -228,25 +228,25 @@ litigation.
</license> </license>
<requires> <requires>
<import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/> <import plugin="de.bmotionstudio.gef.editor" version="5.6.0" match="equivalent"/>
<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.prob.core" version="9.5.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="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.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.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.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="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> </requires>
<plugin <plugin
...@@ -256,6 +256,14 @@ litigation. ...@@ -256,6 +256,14 @@ litigation.
version="0.0.0" version="0.0.0"
unpack="false"/> unpack="false"/>
<plugin
id="de.bmotionstudio.rodin"
download-size="0"
install-size="0"
version="0.0.0"
fragment="true"
unpack="false"/>
<plugin <plugin
id="de.prob.core" id="de.prob.core"
download-size="0" download-size="0"
...@@ -277,12 +285,4 @@ litigation. ...@@ -277,12 +285,4 @@ litigation.
version="0.0.0" version="0.0.0"
unpack="false"/> unpack="false"/>
<plugin
id="de.bmotionstudio.rodin"
download-size="0"
install-size="0"
version="0.0.0"
fragment="true"
unpack="false"/>
</feature> </feature>
...@@ -228,13 +228,13 @@ litigation. ...@@ -228,13 +228,13 @@ litigation.
</license> </license>
<requires> <requires>
<import plugin="org.eclipse.core.runtime"/>
<import plugin="de.prob.core" version="9.5.0" match="equivalent"/> <import plugin="de.prob.core" version="9.5.0" match="equivalent"/>
<import plugin="de.prob.ui" version="7.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.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"/> <import plugin="org.eventb.ui" version="3.0.0"/>
<import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
</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