From e87203b8ee57e8fd7bebb4983ce454250ed3d5ef Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Wed, 28 Feb 2024 13:17:00 +0100 Subject: [PATCH] Change feature names to say "Rodin" instead of "Rodin3" Rodin 2 is long gone. --- de.prob2.disprover.feature/feature.xml | 2 +- de.prob2.feature/feature.xml | 2 +- de.prob2.symbolic.feature/feature.xml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml index da19a845..b30b8231 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 Rodin3 - (Dis)Prover" + label="ProB for Rodin - (Dis)Prover" version="3.1.2.qualifier" provider-name="HHU Düsseldorf STUPS Group"> diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml index d090ab96..14b88c23 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 Rodin3" + label="ProB for Rodin" version="3.1.2.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 7e9983b2..f1dce493 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 Rodin3 - Symbolic Constants Support" + label="ProB for Rodin - Symbolic Constants Support" version="3.1.2.qualifier" provider-name="HHU Düsseldorf STUPS Group"> -- GitLab