diff --git a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
index 7c1bd05368b39026014ea217f3100dfae721f143..6a027fe16854b9da7055d9977431b792c035895a 100644
--- a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
+++ b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: BMotion Studio Editor Plug-in
Bundle-SymbolicName: de.bmotionstudio.gef.editor;singleton:=true
-Bundle-Version: 5.2.1
+Bundle-Version: 5.3.0
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)",
@@ -13,7 +13,7 @@ Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.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.gef;bundle-version="[3.7.0,4.0.0)",
- de.prob.core;bundle-version="[9.1.0,9.2.0)",
+ de.prob.core;bundle-version="[9.1.0,9.3.0)",
org.eventb.core;bundle-version="[2.1.0,2.5.0)"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF
index 6fa716e04c19b8434672016fa59502080807e286..d77a5fe0aaf5b23a5f344a3dafe13174e178cae3 100644
--- a/de.prob.core/META-INF/MANIFEST.MF
+++ b/de.prob.core/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: ProB Animator Core
Bundle-SymbolicName: de.prob.core;singleton:=true
-Bundle-Version: 9.1.2
+Bundle-Version: 9.2.0
Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
org.rodinp.core;bundle-version="[1.3.1,1.6.0)",
org.eventb.core;bundle-version="[2.1.0,2.5.0)"
diff --git a/de.prob.plugin/META-INF/MANIFEST.MF b/de.prob.plugin/META-INF/MANIFEST.MF
index a3d6015bd8c44b1077ef85556d7b56b10079f093..365657961c3fe555365191342d0f3acdc5da4f90 100644
--- a/de.prob.plugin/META-INF/MANIFEST.MF
+++ b/de.prob.plugin/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: ProB Rodin2 UI Bindings
Bundle-SymbolicName: de.prob.plugin;singleton:=true
-Bundle-Version: 2.1.1
-Fragment-Host: de.prob.ui;bundle-version="[7.1.0,7.2)"
+Bundle-Version: 2.1.2
+Fragment-Host: de.prob.ui;bundle-version="[7.1.0,7.3.0)"
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-Vendor: HHU Düsseldorf STUPS Group
diff --git a/de.prob.standalone/META-INF/MANIFEST.MF b/de.prob.standalone/META-INF/MANIFEST.MF
index 27a7eaa5fe4ac5d9cb37c62a978c007227ae02ea..84d4c0d75134f4d3752d28065944905b138fcb3d 100644
--- a/de.prob.standalone/META-INF/MANIFEST.MF
+++ b/de.prob.standalone/META-INF/MANIFEST.MF
@@ -7,7 +7,7 @@ Bundle-Activator: de.prob.standalone.Activator
Require-Bundle: org.eclipse.ui,
org.eclipse.core.runtime,
de.prob.ui;bundle-version="4.1.0",
- de.prob.core;bundle-version="9.1.1",
+ de.prob.core;bundle-version="9.2.0",
de.bmotionstudio.gef.editor;bundle-version="5.2.0",
org.rodinp.core;bundle-version="1.2.0",
org.eventb.core;bundle-version="1.2.0",
diff --git a/de.prob.ui/META-INF/MANIFEST.MF b/de.prob.ui/META-INF/MANIFEST.MF
index 52076c7c70d0aefdf376b6d00d6b36df0d601d59..40c7d8b22d6a49fd8de8b3c8ca029b44110047bd 100644
--- a/de.prob.ui/META-INF/MANIFEST.MF
+++ b/de.prob.ui/META-INF/MANIFEST.MF
@@ -2,12 +2,12 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: ProB Ui Plug-in
Bundle-SymbolicName: de.prob.ui;singleton:=true
-Bundle-Version: 7.1.2
+Bundle-Version: 7.2.0
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)",
org.eclipse.core.resources;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.1.0,9.2.0)",
+ de.prob.core;bundle-version="[9.1.0,9.3.0)",
org.eventb.core;bundle-version="[2.1.0,2.5.0)",
org.eclipse.core.expressions;bundle-version="[3.4.101,4.0.0)",
org.eclipse.gef;bundle-version="[3.5.0,4.0.0)"
diff --git a/de.prob.update_site/feature.xml b/de.prob.update_site/feature.xml
index 2888f307eeda7dde8f80037215e1262aace973ec..9f7635349c7d089138de1dcd3f6b6ce4b57104d3 100644
--- a/de.prob.update_site/feature.xml
+++ b/de.prob.update_site/feature.xml
@@ -2,7 +2,7 @@
<feature
id="de.prob.update_site"
label="Update_site"
- version="1.0.2">
+ version="1.0.3">
<description url="http://www.stups.uni-duesseldorf.de/ProB">
ProB is an animator and model checker for the B-Method. It allows
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index aecea8a1b96b65fb7c41056b6d01dd8700fc0030..7becfe17405b4aed000cc72e34df6de1be036d52 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -1,22 +1,22 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<feature
- id="de.prob2.feature"
- label="ProB for Rodin2"
- version="2.2.7"
- provider-name="HHU Düsseldorf STUPS Group">
-
- <description url="http://www.stups.uni-duesseldorf.de/ProB">
+<?xml version="1.0" encoding="UTF-8"?>
+<feature
+ id="de.prob2.feature"
+ label="ProB for Rodin2"
+ version="2.3.0"
+ provider-name="HHU Düsseldorf STUPS Group">
+
+ <description url="http://www.stups.uni-duesseldorf.de/ProB">
ProB is an animator and model checker for the B-Method. It allows fully automatic animation of many B specifications, and can be used to systematically check a specification for errors.
Part of the research and development was conducted within the EPSRC funded projects ABCD and iMoc, and within the EU funded project Rodin.
Development is continued under the EU funded project Deploy and the DFG project Gepavas.
-ProB has been successfully used on various industrial specifications and is now being used within Siemens.
- </description>
-
- <copyright>
- (C) 2000-2011 Michael Leuschel (and many others) All rights reserved.
- </copyright>
-
- <license url="http://www.eclipse.org/org/documents/epl-v10.html">
+ProB has been successfully used on various industrial specifications and is now being used within Siemens.
+ </description>
+
+ <copyright>
+ (C) 2000-2011 Michael Leuschel (and many others) All rights reserved.
+ </copyright>
+
+ <license url="http://www.eclipse.org/org/documents/epl-v10.html">
ProB can be used freely for commercial, non-commercial and academic
use under the Eclipse Public Licence v. 1.0. (below)
For availability of commercial support, please contact the author
@@ -220,69 +220,69 @@ and the intellectual property laws of the United States of America.
No party to this Agreement will bring a legal action under this
Agreement more than one year after the cause of action arose.
Each party waives its rights to a jury trial in any resulting
-litigation.
- </license>
-
- <requires>
- <import plugin="fr.systerel.explorer" version="1.3.2" match="equivalent"/>
- <import plugin="org.eclipse.ui.navigator" version="3.4.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.ui.views.properties.tabbed" version="3.4.1" match="compatible"/>
- <import plugin="de.prob.ui" version="7.1.0" match="equivalent"/>
- <import plugin="de.prob.core" version="9.1.0" match="equivalent"/>
- <import plugin="org.eclipse.core.databinding.property" version="1.2.0" match="compatible"/>
- <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.jface.text" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.ui.editors" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.ui.views" version="3.4.1" match="compatible"/>
- <import plugin="org.rodinp.core" version="1.3.1"/>
- <import plugin="org.eclipse.gef" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.ui.ide" version="3.5.0" match="compatible"/>
- <import plugin="org.eventb.core" version="2.1.0"/>
- <import plugin="org.rodinp.keyboard" version="1.1.0" match="equivalent"/>
- <import plugin="org.eclipse.jface" version="3.6.0" match="greaterOrEqual"/>
- <import plugin="org.eclipse.ui" version="3.6.0" match="greaterOrEqual"/>
- <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
- </requires>
-
- <plugin
- id="de.bmotionstudio.gef.editor"
- download-size="0"
- install-size="0"
- version="0.0.0"
- unpack="false"/>
-
- <plugin
- id="de.prob.core"
- download-size="0"
- install-size="0"
- version="0.0.0"/>
-
- <plugin
- id="de.prob.plugin"
- download-size="0"
- install-size="0"
- version="0.0.0"
- fragment="true"
- unpack="false"/>
-
- <plugin
- id="de.prob.ui"
- download-size="0"
- install-size="0"
- 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>
+litigation.
+ </license>
+
+ <requires>
+ <import plugin="fr.systerel.explorer" version="1.3.2" match="equivalent"/>
+ <import plugin="org.eclipse.ui.navigator" version="3.4.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.ui.views.properties.tabbed" version="3.4.1" match="compatible"/>
+ <import plugin="de.prob.ui" version="7.1.0" match="equivalent"/>
+ <import plugin="de.prob.core" version="9.1.0" match="equivalent"/>
+ <import plugin="org.eclipse.core.databinding.property" version="1.2.0" match="compatible"/>
+ <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
+ <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
+ <import plugin="org.eclipse.jface.text" version="3.5.0" match="compatible"/>
+ <import plugin="org.eclipse.ui.editors" version="3.5.0" match="compatible"/>
+ <import plugin="org.eclipse.ui.views" version="3.4.1" match="compatible"/>
+ <import plugin="org.rodinp.core" version="1.3.1"/>
+ <import plugin="org.eclipse.gef" version="3.5.0" match="compatible"/>
+ <import plugin="org.eclipse.ui.ide" version="3.5.0" match="compatible"/>
+ <import plugin="org.eventb.core" version="2.1.0"/>
+ <import plugin="org.rodinp.keyboard" version="1.1.0" match="equivalent"/>
+ <import plugin="org.eclipse.jface" version="3.6.0" match="greaterOrEqual"/>
+ <import plugin="org.eclipse.ui" version="3.6.0" match="greaterOrEqual"/>
+ <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
+ <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
+ </requires>
+
+ <plugin
+ id="de.bmotionstudio.gef.editor"
+ download-size="0"
+ install-size="0"
+ version="0.0.0"
+ unpack="false"/>
+
+ <plugin
+ id="de.prob.core"
+ download-size="0"
+ install-size="0"
+ version="0.0.0"/>
+
+ <plugin
+ id="de.prob.plugin"
+ download-size="0"
+ install-size="0"
+ version="0.0.0"
+ fragment="true"
+ unpack="false"/>
+
+ <plugin
+ id="de.prob.ui"
+ download-size="0"
+ install-size="0"
+ 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>