diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 9cf3ec23..0dc33491 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -3,7 +3,7 @@ including development and beta versions. For a less detailed overview
 of the main changes in each public release, see the file VERSIONS.txt.
 
 -----------------------------------------------------------------------------
-Latest additions (reverse chronological) (as of svn rev 545)
+Version 3.2.beta1 (released 8/2/2008)
 -----------------------------------------------------------------------------
 
 * Fix to allow building on Mac OS X v10.5 (Leopard)
diff --git a/prism/VERSIONS.txt b/prism/VERSIONS.txt
index 91dab236..f96c144e 100644
--- a/prism/VERSIONS.txt
+++ b/prism/VERSIONS.txt
@@ -1,12 +1,40 @@
 This file summarises the principal changes between each main public release of PRISM.
 For more detailed information about the various changes, see the file CHANGELOG.txt.
 
+-----------------------------------------------------------------------------
+Version 3.2 (beta released 8/2/2008)
+-----------------------------------------------------------------------------
+
+* Support for 64-bit architectures and Mac OS X v10.5 (Leopard)
+
+* Improvements to property specification language
+  - addition of F and G operators (eventually/globally)
+  - can now use labels/formulas from model file in properties files
+
+* Redesign of the simulator GUI, plus new features:
+  - ability to display accumulated time/rewards
+  - new "Configure view" dialog
+  - easier selection of next step (double click) 
+
+* New graph plotting engine using JFreeChart
+
+* Other GUI improvements:
+  - new icon set and graphics
+  - font increase/decrease feature
+  - loading of partially correct property files
+
+* Further additional functionality:
+  - extra reward model checking algorithms for some engines
+  - prototype SBML-to-PRISM translator
+  - new -exportrows switch for matrix exports
+  - new options for -simpath switch
+  - new -extraddinfo switch for displaying extra (MT)BDD info
+
 -----------------------------------------------------------------------------
 Version 3.1.1 (released 5/4/2007)
 -----------------------------------------------------------------------------
 
-* Minor bug fixes
-
+* Minor bug fixes

 -----------------------------------------------------------------------------
 Version 3.1 (released 15/11/2006)
 -----------------------------------------------------------------------------
@@ -22,7 +50,6 @@ Version 3.1 (released 15/11/2006)
 * New option to disable steady-state detection for CTMC transient analysis
 * Bug fixes
 
-
 -----------------------------------------------------------------------------
 Version 3.0 (released 6/7/2006)
 -----------------------------------------------------------------------------
@@ -59,7 +86,6 @@ Version 3.0 (released 6/7/2006)
 * Underlying data structure and efficiency improvements
 * Bug fixes
 
-
 -----------------------------------------------------------------------------
 Version 2.1 (released 8/9/2004)
 -----------------------------------------------------------------------------
@@ -68,7 +94,6 @@ Version 2.1 (released 8/9/2004)
 * Compilation/installation procedures slightly simplified
 * Splash screen on load
 
-
 -----------------------------------------------------------------------------
 Version 2.0 (released 17/3/2004)
 -----------------------------------------------------------------------------
@@ -109,14 +134,12 @@ Version 2.0 (released 17/3/2004)
   - Various bug fixes
   - Fairness (for MDP model checking) now OFF by default (used to be ON)
 
-
 -----------------------------------------------------------------------------
 Version 1.3.1 (released 20/2/2003)
 -----------------------------------------------------------------------------
 
 * Bug fixes in model construction code
 
-
 -----------------------------------------------------------------------------
 Version 1.3 (released 10/2/2003)
 -----------------------------------------------------------------------------
@@ -136,8 +159,7 @@ Version 1.3 (released 10/2/2003)
 * Additional example files
 * Numerous bug fixlatest.htmles
 * Now released under the GPL license
-
-
+

 -----------------------------------------------------------------------------
 Version 1.2 (released 17/9/2001)
 -----------------------------------------------------------------------------