diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml index 2a78f74b05b9857de1b5c4dcd23d13728629b2d6..84f31a898ba28ca93b5dfff7719ca48a4c0cb56f 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.0.qualifier" + version="2.4.1.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 5a7c4165cf97b91f9841d7c6aaedd59acfe9a1fb..64cacb78fbf007a53ea298e58af33561bf282459 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.0.qualifier" + version="2.4.1.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 b2a1f81ae8d12e1fa3757d81a2a0fb99d2f0336d..c94fe9221fef78ffca77edcbc49cc5e4a97eeaf3 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.0.qualifier" + version="2.4.1.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 0fd758220e6e3130d6f24014c65029eb8c9f6fab..b6b4ac34d0d4f2f4177872819a0c00e5f444c8e7 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.0.qualifier" + version="2.4.1.qualifier" provider-name="HHU Düsseldorf STUPS Group"> <description url="http://www.stups.uni-duesseldorf.de/ProB">