diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml index 7ee79cac6fbb369588bce6707e59e89b1b1e759b..27ad4bdfbd1d34850cec46e1655d0e178ad7738c 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.7.qualifier" + version="2.4.8.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 540590d7214d66b43356204370565f42d72189d5..431d0b5c608b3bd1fac58c32e0be2c7c482e6766 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.7.qualifier" + version="2.4.8.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 a017e556effbe29d95360f645b9550e9a9801ec7..3067469072615d60351a0b54832825ea946560d4 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.7.qualifier" + version="2.4.8.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 27516409ed4e5d4cbabfb76b5f0d51f8088fb4b4..4146154317cd4cf970c73255f65b20a97a18262e 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.7.qualifier" + version="2.4.8.qualifier" provider-name="HHU Düsseldorf STUPS Group"> <description url="http://www.stups.uni-duesseldorf.de/ProB">