From 2d3b7d293b6053d688884b05f92e9b873909d995 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Fri, 20 Jan 2012 16:03:10 +0100
Subject: [PATCH] bumped version numbers
---
.../META-INF/MANIFEST.MF | 4 +-
de.prob.core/META-INF/MANIFEST.MF | 2 +-
de.prob.plugin/META-INF/MANIFEST.MF | 4 +-
de.prob.standalone/META-INF/MANIFEST.MF | 2 +-
de.prob.ui/META-INF/MANIFEST.MF | 4 +-
de.prob.update_site/feature.xml | 2 +-
de.prob2.feature/feature.xml | 164 +++++++++---------
7 files changed, 91 insertions(+), 91 deletions(-)
diff --git a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
index 7c1bd053..6a027fe1 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 6fa716e0..d77a5fe0 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 a3d6015b..36565796 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 27a7eaa5..84d4c0d7 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 52076c7c..40c7d8b2 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 2888f307..9f763534 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 aecea8a1..7becfe17 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>
--
GitLab