diff --git a/CHANGES b/CHANGES
index 11448e20997be8999ead741df3f6cad964a7f117..80d2f61e82f262ab407f6a514656d13681d72231 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,5 +1,14 @@
 * marks an incompatible change
 
+version 0.71, October 11, 2011
+==============================
+
+  o [examples] a lot of new program examples in directory examples/programs
+  o [Why3replayer] new option -latex to output a proof session in LaTeX format
+  o [WhyML] significant improvement of the efficiency of the WP calculus
+  o [WhyIDE] better coloring and source positioning including from front-ends 
+    such as Krakatoa and Jessie plugin of Frama-C
+  o [WhyML] fixed labels and source locations in WPs
   o [Session] during reload, new method for pairing old and new subgoals
     based on goal shapes, stored in database.
   o [Session] prover versions are stored in database. A proof is
diff --git a/Version b/Version
index e886d276a1a9a43d8b01f76f661186d573fc6e60..9b5abbb29eab206b8fec957ebb357e803eef0cac 100644
--- a/Version
+++ b/Version
@@ -1,3 +1,3 @@
 # Why version
-VERSION=0.71a
+VERSION=0.71
 
diff --git a/doc/manual.tex b/doc/manual.tex
index 3f0558ac7ad8791d0b3935199bea1dbf1f05d040..787fc9a7fdbec45ad59a6b9bc811e9db10eb8199 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -57,7 +57,7 @@
 \vfill
 
 \begin{LARGE}
-  Version \whyversion{}, July 2011
+  Version \whyversion{}, October 2011
 \end{LARGE}
 
 \vfill