diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index f0864f58..49963eee 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -10,6 +10,7 @@ Ongoing changes:
 * New simulator
 * Adversary generation
 * Access to action labels. inclusion in export, etc.
+* Filters and propert semantics changes/additions
 
 Latest changes (reverse chronological):
 [correct wrt svn rev 1610]