diff --git a/CHANGES b/CHANGES
index 9557e90665cee17006af509e563dadc3f0e27659..88ee87d683c1670b29b09c793e7ef6d6a186b511 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,6 @@
+v3.1
+----
+
 - Auto-detection of proxy settings is now available.
 
 - Fix a bug which prevented executions when
diff --git a/build.xml b/build.xml
index e56ac185a66bc0d31aaeae6c41fa99fd5e56f57f..66d8c6186d28b98e33672d6c2cf9757cba033463 100644
--- a/build.xml
+++ b/build.xml
@@ -7,7 +7,7 @@
     <format property="build.time" pattern="yyyy-MM-dd'T'hh:mm:ss.SSSZ"/>
   </tstamp>
 
-  <property name="praxis.version" value="3.0.2"/>
+  <property name="praxis.version" value="3.1"/>
   <!-- If not called from an other project setting praxis.home, define it.
        In details:
        - it is unset when directly building the jars of Praxis,
diff --git a/build/DATE b/build/DATE
index a112daf4c53125b8df6b468f677d9a752a1dcf9f..7fb15a38ea4d0a47d80c444b0f7c81d9113f11ed 100644
--- a/build/DATE
+++ b/build/DATE
@@ -1 +1 @@
-2018-07-26
+2019-05-09
diff --git a/build/VERSION b/build/VERSION
index b50214693056fc4aaf22f42a31bf70a2d142eaf2..8c50098d8aed57b02fd10f40a670a7c673b7c5a5 100644
--- a/build/VERSION
+++ b/build/VERSION
@@ -1 +1 @@
-3.0.2
+3.1
diff --git a/src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java b/src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java
index a927ce6783d054fb11bcf19ec64de9388ae44d42..bb80a639c36c0e80f0f8c9e3c05c996247428208 100644
--- a/src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java
+++ b/src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java
@@ -7,9 +7,9 @@ package eu.telecom_bretagne.praxis.common;
  */
 public abstract class ReleaseInfo
 {
-	public static final String release              = "3.0.2";
+	public static final String release              = "3.1";
 
-	public static final String release_date         = "2018-07-26";
+	public static final String release_date         = "2019-05-09";
 
 	public static final int    application_revision = Configuration.getInt("revision");