From 09ad41cbbcf4928b40dcf8c716f2439c32c29963 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 19 Feb 2015 13:46:12 +0100
Subject: [PATCH] version bump for rodin 2 after prob 1.5 release
---
de.prob2.disprover.feature/feature.xml | 2 +-
de.prob2.feature/feature.xml | 2 +-
de.prob2.symbolic.feature/feature.xml | 2 +-
de.prob2.units.feature/feature.xml | 2 +-
4 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 27ad4bdf..30dc6fe2 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -2,7 +2,7 @@
<feature
id="de.prob2.disprover.feature"
label="ProB for Rodin2 - EXPERIMENTAL (Dis)Prover"
- version="2.4.8.qualifier"
+ version="2.4.9.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 431d0b5c..9a10d439 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 Rodin2"
- version="2.4.8.qualifier"
+ version="2.4.9.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 30674690..61f48820 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 Rodin2 - Symbolic Constants Support"
- version="2.4.8.qualifier"
+ version="2.4.9.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 41461543..49db5206 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 Rodin2 - Physical Units Support"
- version="2.4.8.qualifier"
+ version="2.4.9.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
<description url="http://www.stups.uni-duesseldorf.de/ProB">
--
GitLab