diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 24b12bf9..cfa9073c 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -6,10 +6,11 @@ of the main changes in each public release, see the file VERSIONS.txt.
 
 Latest changes (reverse chronological):
 
-Steady-state properties for DTMCs
-GUI model editor: line numbers, undo
-Language changes: no ranges, new function notation, semicolons, update parentheses
-New parser: more efficient, better error reporting
+* Easier viewing of model checking results in GUI
+* Steady-state properties/operators for DTMCs
+* GUI model editor: line numbers, undo
+* Language changes: no ranges, new function notation, semicolons, update parentheses
+* New parser: more efficient, better error reporting
 
 -----------------------------------------------------------------------------
 Version 3.2.beta1 (released 25/2/2008) (svn: trunk rev 568)