diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml index 00139ed0099ea2abf7ebb71ea7cf0dbcf78f7281..b8bde6878a8f90543714b09de0c81b2c1115f410 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 Rodin3 - EXPERIMENTAL (Dis)Prover" - version="3.0.2.qualifier" + version="3.0.3.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 d35d0d56d690ab8d8004b9b7bb7572576e45478f..a04b31e261c237525e2337ff1a07bfb1850c1323 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 Rodin3" - version="3.0.2.qualifier" + version="3.0.3.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 4d3c86c328cb45c304351b0bcd7e08c7964f2b2d..b5348c9fe0b16f6733799198efe0ff43b4a28d5c 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 Rodin3 - Symbolic Constants Support" - version="3.0.2.qualifier" + version="3.0.3.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 24141eeba569973ffc4ad2406e6783de54d448c7..cc44bfc775a519c3dbb40769a3ada713c9054f79 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 Rodin3 - Physical Units Support" - version="3.0.2.qualifier" + version="3.0.3.qualifier" provider-name="HHU Düsseldorf STUPS Group"> <description url="http://www.stups.uni-duesseldorf.de/ProB">