diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml index 1a1ca224d50d564292981e8189cf401a3966602b..fd5e16d082d2d8ea1a7b58bcf28ed8b37f1b2c8b 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.4.qualifier" + version="2.4.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 d1654337a1ef8c114f5d02f088b2659536933e72..e161c8aba88520ec1a1ca9f843a16d683a0dae98 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.4.qualifier" + version="2.4.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 a7d4c7e1a2b2725c20f135008468f8de5e8f406c..ed3ea654d7075e9d29a080e4cc6449dccbe6e3bc 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.4.qualifier" + version="2.4.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 47392805cedda2174e73c55cd464400a51b1e01b..51e8e201bea3f49f7c0b8f4c37ee9a3a5e3b930f 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.4.qualifier" + version="2.4.5.qualifier" provider-name="HHU Düsseldorf STUPS Group"> <description url="http://www.stups.uni-duesseldorf.de/ProB">