diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index cfa9073c..0210a80f 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -6,6 +6,7 @@ of the main changes in each public release, see the file VERSIONS.txt.
 
 Latest changes (reverse chronological):
 
+* Added weak until (W) and release (R) to properties language
 * Easier viewing of model checking results in GUI
 * Steady-state properties/operators for DTMCs
 * GUI model editor: line numbers, undo