From 9aa5aabca2f617202c3b31ffac502f63303a0aba Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 28 Mar 2014 11:59:23 +0100
Subject: [PATCH] increment version number for rodin3 (prior to release)
---
de.prob2.disprover.feature/feature.xml | 4 ++--
de.prob2.feature/feature.xml | 2 +-
de.prob2.symbolic.feature/feature.xml | 2 +-
de.prob2.units.feature/feature.xml | 2 +-
4 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 4afbb3aa..00139ed0 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -1,8 +1,8 @@
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="de.prob2.disprover.feature"
- label="ProB for Rodin3 - (Dis)Prover"
- version="3.0.1.qualifier"
+ label="ProB for Rodin3 - EXPERIMENTAL (Dis)Prover"
+ version="3.0.2.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
<description url="http://www.stups.uni-duesseldorf.de/ProB">
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index dc4fc4ab..d35d0d56 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -2,7 +2,7 @@
<feature
id="de.prob2.feature"
label="ProB for Rodin3"
- version="3.0.1.qualifier"
+ version="3.0.2.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
<description url="http://www.stups.uni-duesseldorf.de/ProB">
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index 1dc242bf..4d3c86c3 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -2,7 +2,7 @@
<feature
id="de.prob2.symbolic.feature"
label="ProB for Rodin3 - Symbolic Constants Support"
- version="3.0.1.qualifier"
+ version="3.0.2.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
<description url="http://www.stups.uni-duesseldorf.de/ProB">
diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml
index 04b92c73..24141eeb 100644
--- a/de.prob2.units.feature/feature.xml
+++ b/de.prob2.units.feature/feature.xml
@@ -2,7 +2,7 @@
<feature
id="de.prob2.units.feature"
label="ProB for Rodin3 - Physical Units Support"
- version="3.0.1.qualifier"
+ version="3.0.2.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
<description url="http://www.stups.uni-duesseldorf.de/ProB">
--
GitLab