From aadd95c1f131b0b9c798c608e060cdf5724cc935 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Tue, 18 Mar 2014 08:49:40 +0100
Subject: [PATCH] change name
---
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 b76d41c1..0adf1c22 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="de.prob2.disprover.feature"
- label="ProB for Rodin2 - EXPERIMENTAL (Dis)Prover"
+ label="ProB for Rodin3 - (Dis)Prover"
version="2.4.4.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index f4766445..db645029 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="de.prob2.feature"
- label="ProB for Rodin2"
+ label="ProB for Rodin3"
version="2.4.4.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index 8dfd3c94..94105169 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="de.prob2.symbolic.feature"
- label="ProB for Rodin2 - Symbolic Constants Support"
+ label="ProB for Rodin3 - Symbolic Constants Support"
version="2.4.4.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml
index 851badd5..2f741b7d 100644
--- a/de.prob2.units.feature/feature.xml
+++ b/de.prob2.units.feature/feature.xml
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="de.prob2.units.feature"
- label="ProB for Rodin2 - Physical Units Support"
+ label="ProB for Rodin3 - Physical Units Support"
version="2.4.4.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
--
GitLab