Merge branch 'release/3.0.5' into develop

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">

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">

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">

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">