increase version numbers

85794636 · Sebastian Krings · d50670cf · 85794636 · 85794636 · 85794636
Commit 85794636 authored 11 years ago by Sebastian Krings
--- 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 - (Dis)Prover"
-      version="2.4.4.qualifier"
+      version="3.0.1.qualifier"
      provider-name="HHU Düsseldorf STUPS Group">
   <description url="http://www.stups.uni-duesseldorf.de/ProB">

--- 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="2.4.4.qualifier"
+      version="3.0.1.qualifier"
      provider-name="HHU Düsseldorf STUPS Group">
   <description url="http://www.stups.uni-duesseldorf.de/ProB">

--- 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="2.4.4.qualifier"
+      version="3.0.1.qualifier"
      provider-name="HHU Düsseldorf STUPS Group">
   <description url="http://www.stups.uni-duesseldorf.de/ProB">

--- 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="2.4.4.qualifier"
+      version="3.0.1.qualifier"
      provider-name="HHU Düsseldorf STUPS Group">
   <description url="http://www.stups.uni-duesseldorf.de/ProB">