diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 13212b37..1002aa5a 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -1,6 +1,8 @@
 This file contains details of the changes in each new version of PRISM.
 
-New since last release:
+-----------------------------------------------------------------------------
+Version 4.2 (beta first released 12/5/2014)
+-----------------------------------------------------------------------------
 
 * Parametric model checking