diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 3c09538f..dd07e72a 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -3,7 +3,13 @@ including development and beta versions. For a less detailed overview
 of the main changes in each public release, see the file VERSIONS.txt.
 
 -----------------------------------------------------------------------------
-Version 3.1.beta1 (3/11/2006) (svn rev 114)
+Version 3.1 (15/11/2006)
+-----------------------------------------------------------------------------
+
+* No changes
+
+-----------------------------------------------------------------------------
+Version 3.1.beta1 (3/11/2006)
 -----------------------------------------------------------------------------
 
 * New installer for Windows binary
diff --git a/prism/README.txt b/prism/README.txt
index 58dd95b9..c5f79bcd 100644
--- a/prism/README.txt
+++ b/prism/README.txt
@@ -2,7 +2,7 @@
 README
 ======
 
-This is PRISM (Probabilistic Symbolic Model Checker), version 3.1.beta1.
+This is PRISM (Probabilistic Symbolic Model Checker), version 3.1.
 
 ------------
 INSTALLATION
diff --git a/prism/VERSIONS.txt b/prism/VERSIONS.txt
index 82fad3ab..f5f3f188 100644
--- a/prism/VERSIONS.txt
+++ b/prism/VERSIONS.txt
@@ -2,7 +2,7 @@ This file summarises the principal changes between each main public release of P
 For more detailed information about the various changes, see the file CHANGELOG.txt.
 
 -----------------------------------------------------------------------------
-Version 3.1 (beta1 released 3/11/2006)
+Version 3.1 (released 15/11/2006)
 -----------------------------------------------------------------------------
 
 * New installer for Windows binary