diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml index 27ad4bdfbd1d34850cec46e1655d0e178ad7738c..30dc6fe27e0af0048ac06e040347d1da6393ead2 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.8.qualifier" + version="2.4.9.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 431d0b5c608b3bd1fac58c32e0be2c7c482e6766..9a10d43940794014645d80ef541e35eab6ffc40c 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.8.qualifier" + version="2.4.9.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 3067469072615d60351a0b54832825ea946560d4..61f48820402a16f0cb7852a1f30938ed1826282a 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.8.qualifier" + version="2.4.9.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 4146154317cd4cf970c73255f65b20a97a18262e..49db5206f25721b84724e563b894cf58da6c4cb9 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.8.qualifier" + version="2.4.9.qualifier" provider-name="HHU Düsseldorf STUPS Group"> <description url="http://www.stups.uni-duesseldorf.de/ProB">