diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml index b76d41c130abbb898f12edbf1ea478aa17e65a23..0adf1c22fe4faf1a059568fe0d9951fa4b54246a 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 f4766445dbaeec5db6c04c764bc195734533c463..db645029819e126b9801fe7575cb97341aca603a 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 8dfd3c94ce38e8aaa8069e3975f8a9b066ead293..94105169ef7c9a32d3c92876b12d7f0a85bb3fcb 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 851badd597e93c3dc8a2690a956a2a007732b292..2f741b7d488e319055c6494fff1be8b4ed0ee774 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">