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

Bump all the minor version numbers

In preparation for some changes to how the BMotion Studio bundles are
structured - not that it should make much of a difference.
parent 4c194b0a
No related branches found
No related tags found
No related merge requests found
...@@ -2,9 +2,9 @@ Manifest-Version: 1.0 ...@@ -2,9 +2,9 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2 Bundle-ManifestVersion: 2
Bundle-Name: BMotion Studio Editor Plug-in 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.2.qualifier Bundle-Version: 5.7.0.qualifier
Bundle-Activator: de.bmotionstudio.gef.editor.BMotionEditorPlugin Bundle-Activator: de.bmotionstudio.gef.editor.BMotionEditorPlugin
Require-Bundle: de.prob.core;bundle-version="[9.5.2,9.6.0)";visibility:=reexport, Require-Bundle: de.prob.core;bundle-version="[9.6.0,9.7.0)";visibility:=reexport,
org.eclipse.core.databinding;bundle-version="[1.10.0,2.0.0)", org.eclipse.core.databinding;bundle-version="[1.10.0,2.0.0)",
org.eclipse.core.databinding.beans;bundle-version="[1.7.0,2.0.0)", org.eclipse.core.databinding.beans;bundle-version="[1.7.0,2.0.0)",
org.eclipse.core.databinding.property;bundle-version="[1.7.0,2.0.0)", org.eclipse.core.databinding.property;bundle-version="[1.7.0,2.0.0)",
......
...@@ -2,8 +2,8 @@ Manifest-Version: 1.0 ...@@ -2,8 +2,8 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2 Bundle-ManifestVersion: 2
Bundle-Name: BMotion Studio Rodin Integration Bundle-Name: BMotion Studio Rodin Integration
Bundle-SymbolicName: de.bmotionstudio.rodin;singleton:=true Bundle-SymbolicName: de.bmotionstudio.rodin;singleton:=true
Bundle-Version: 1.3.2.qualifier Bundle-Version: 1.4.0.qualifier
Fragment-Host: de.bmotionstudio.gef.editor;bundle-version="[5.6.2,5.7.0)" Fragment-Host: de.bmotionstudio.gef.editor;bundle-version="[5.7.0,5.8.0)"
Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-Vendor: HHU Düsseldorf STUPS Group Bundle-Vendor: HHU Düsseldorf STUPS Group
Require-Bundle: org.eclipse.ui.navigator;bundle-version="3.5.0" Require-Bundle: org.eclipse.ui.navigator;bundle-version="3.5.0"
...@@ -4,7 +4,7 @@ Bundle-Name: ProB Animator Tests ...@@ -4,7 +4,7 @@ Bundle-Name: ProB Animator 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: de.prob.core;bundle-version="[9.5.2,9.6.0)", Require-Bundle: de.prob.core;bundle-version="[9.6.0,9.7.0)",
org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)", org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)",
org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)", org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
org.eventb.core;bundle-version="[3.5.0,4.0.0)", org.eventb.core;bundle-version="[3.5.0,4.0.0)",
......
...@@ -2,7 +2,7 @@ Manifest-Version: 1.0 ...@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2 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.2.qualifier Bundle-Version: 9.6.0.qualifier
Require-Bundle: org.eclipse.core.filesystem;bundle-version="[1.7.0,2.0.0)", Require-Bundle: org.eclipse.core.filesystem;bundle-version="[1.7.0,2.0.0)",
org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)", org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)",
org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)", org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
......
...@@ -2,9 +2,9 @@ Manifest-Version: 1.0 ...@@ -2,9 +2,9 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2 Bundle-ManifestVersion: 2
Bundle-Name: ProB Disprover Core for Event-B Bundle-Name: ProB Disprover Core for Event-B
Bundle-SymbolicName: de.prob.eventb.disprover.core;singleton:=true Bundle-SymbolicName: de.prob.eventb.disprover.core;singleton:=true
Bundle-Version: 2.1.2.qualifier Bundle-Version: 2.2.0.qualifier
Bundle-Vendor: HHU Düsseldorf STUPS Group Bundle-Vendor: HHU Düsseldorf STUPS Group
Require-Bundle: de.prob.core;bundle-version="[9.5.2,9.6.0)", Require-Bundle: de.prob.core;bundle-version="[9.6.0,9.7.0)",
org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)", org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
org.eventb.core;bundle-version="[3.5.0,4.0.0)", org.eventb.core;bundle-version="[3.5.0,4.0.0)",
org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)", org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)",
......
...@@ -2,11 +2,11 @@ Manifest-Version: 1.0 ...@@ -2,11 +2,11 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2 Bundle-ManifestVersion: 2
Bundle-Name: ProB Disprover UI for Event-B Bundle-Name: ProB Disprover UI for Event-B
Bundle-SymbolicName: de.prob.eventb.disprover.ui;singleton:=true Bundle-SymbolicName: de.prob.eventb.disprover.ui;singleton:=true
Bundle-Version: 2.1.2.qualifier Bundle-Version: 2.2.0.qualifier
Bundle-Vendor: HHU Düsseldorf STUPS Group Bundle-Vendor: HHU Düsseldorf STUPS Group
Require-Bundle: de.prob.core;bundle-version="[9.5.2,9.6.0)", Require-Bundle: de.prob.core;bundle-version="[9.6.0,9.7.0)",
de.prob.eventb.disprover.core;bundle-version="[2.1.2,2.2.0)", de.prob.eventb.disprover.core;bundle-version="[2.2.0,2.3.0)",
de.prob.ui;bundle-version="[7.5.2,7.6.0)", de.prob.ui;bundle-version="[7.6.0,7.7.0)",
org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)", org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
org.eclipse.osgi;bundle-version="[3.16.0,4.0.0)", org.eclipse.osgi;bundle-version="[3.16.0,4.0.0)",
org.eclipse.ui;bundle-version="[3.118.0,4.0.0)", org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
......
...@@ -2,7 +2,7 @@ Manifest-Version: 1.0 ...@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2 Bundle-ManifestVersion: 2
Bundle-Name: ProB Symbolic Evaluation Support Bundle-Name: ProB Symbolic Evaluation Support
Bundle-SymbolicName: de.prob.symbolic;singleton:=true Bundle-SymbolicName: de.prob.symbolic;singleton:=true
Bundle-Version: 7.5.2.qualifier Bundle-Version: 7.6.0.qualifier
Bundle-Activator: de.prob.symbolic.Activator Bundle-Activator: de.prob.symbolic.Activator
Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)", Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
org.eclipse.ui;bundle-version="[3.118.0,4.0.0)", org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
......
...@@ -2,8 +2,8 @@ Manifest-Version: 1.0 ...@@ -2,8 +2,8 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2 Bundle-ManifestVersion: 2
Bundle-Name: ProB Animator UI Bundle-Name: ProB Animator UI
Bundle-SymbolicName: de.prob.ui;singleton:=true Bundle-SymbolicName: de.prob.ui;singleton:=true
Bundle-Version: 7.5.2.qualifier Bundle-Version: 7.6.0.qualifier
Require-Bundle: de.prob.core;bundle-version="[9.5.2,9.6.0)", Require-Bundle: de.prob.core;bundle-version="[9.6.0,9.7.0)",
org.eclipse.core.expressions;bundle-version="[3.7.0,4.0.0)", org.eclipse.core.expressions;bundle-version="[3.7.0,4.0.0)",
org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)", org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)",
org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)", org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
......
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
<feature <feature
id="de.prob2.disprover.feature" id="de.prob2.disprover.feature"
label="ProB for Rodin - (Dis)Prover" label="ProB for Rodin - (Dis)Prover"
version="3.1.2.qualifier" version="3.2.0.qualifier"
provider-name="HHU Düsseldorf STUPS Group" provider-name="HHU Düsseldorf STUPS Group"
plugin="de.prob.eventb.disprover.ui"> plugin="de.prob.eventb.disprover.ui">
...@@ -231,8 +231,8 @@ litigation. ...@@ -231,8 +231,8 @@ litigation.
</license> </license>
<requires> <requires>
<import plugin="de.prob.core" version="9.5.2" match="equivalent"/> <import plugin="de.prob.core" version="9.6.0" match="equivalent"/>
<import plugin="de.prob.ui" version="7.5.2" match="equivalent"/> <import plugin="de.prob.ui" version="7.6.0" match="equivalent"/>
<import plugin="org.eclipse.core.runtime" version="3.2.0" match="compatible"/> <import plugin="org.eclipse.core.runtime" version="3.2.0" match="compatible"/>
<import plugin="org.eclipse.osgi" version="3.16.0" match="compatible"/> <import plugin="org.eclipse.osgi" version="3.16.0" match="compatible"/>
<import plugin="org.eclipse.ui" version="3.118.0" match="compatible"/> <import plugin="org.eclipse.ui" version="3.118.0" match="compatible"/>
......
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
<feature <feature
id="de.prob2.feature" id="de.prob2.feature"
label="ProB for Rodin" label="ProB for Rodin"
version="3.1.2.qualifier" version="3.2.0.qualifier"
provider-name="HHU Düsseldorf STUPS Group" provider-name="HHU Düsseldorf STUPS Group"
plugin="de.prob.ui"> plugin="de.prob.ui">
......
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
<feature <feature
id="de.prob2.symbolic.feature" id="de.prob2.symbolic.feature"
label="ProB for Rodin - Symbolic Constants Support" label="ProB for Rodin - Symbolic Constants Support"
version="3.1.2.qualifier" version="3.2.0.qualifier"
provider-name="HHU Düsseldorf STUPS Group" provider-name="HHU Düsseldorf STUPS Group"
plugin="de.prob.symbolic"> plugin="de.prob.symbolic">
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment