diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index d05722e3..80e3399e 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 changes (mostly reverse chronological):
-[correct wrt svn rev 4136]
+[correct wrt svn rev 4512]
 
 Changes:
 
@@ -11,12 +11,14 @@ Changes:
   - properties can be named, by prefixing with "name":
   - properties can appear as sub-formulae of other properties using name references
   - command-line -prop switch allows selection of property to check by name
-* Added -pf as a command-line switch alias for -pctl/-csl
-* Add .props as a properties file extension (in GUI)
 * New options for results export
   - export in matrix form, e.g. for surface plots
   - export in CSV (rather than tab-separated) form
   - expanded switch: -exportresults file[,opt1,opt2,...] with options: matrix,csv
+* Automatically engine switching if numerical computation not supported
+* Optimised Rabin automata for a few common LTL formulae
+* Added -pf as a command-line switch alias for -pctl/-csl
+* Add .props as a properties file extension (in GUI)
 * New switches -noprob0/-noprob1 to disable individual precomputation algorithms
 * Added prominence given to log warning messages in command-line/GUI
 * GUI on Macs uses Cmd, not Ctrl
@@ -24,11 +26,6 @@ Changes:
 * Command-line scripts can signal termination via growlnotify/notify-send 
 * Bash completion scripts + additional syntax highlighters
 
-Ongoing changes:
-
-* Handling of verbosity in log: PrismLog updated, not used yet
-* CTL AG/EF
-
 -----------------------------------------------------------------------------
 Version 4.0.2 (released 9/10/2011)
 -----------------------------------------------------------------------------