diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml index e0d2141b9158fb5b3b310f6eaeb5dc4f84049801..ef18a17292e2114b3dfef21becf966ad6f25ee1c 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.4.qualifier" + version="3.0.5.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 4bb733098ba39048587bd397381bd76568643217..51c720033b4933c43d42c49dab5db93d26350e98 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.4.qualifier" + version="3.0.5.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 d21442975a69b062789c5415bda32e4606a70bb3..bfdeac8810ab27faeb15a9d47025172a29e69b97 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.4.qualifier" + version="3.0.5.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 e4f2a97c9108c7bed582e7656d3288aff685348d..4d04c511664d82b17498f794615778b121103fec 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.4.qualifier" + version="3.0.5.qualifier" provider-name="HHU Düsseldorf STUPS Group"> <description url="http://www.stups.uni-duesseldorf.de/ProB">