From 31bf1ddbcc5ed567b87d9be229005069b1647178 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 18 Dec 2009 16:01:16 +0000
Subject: [PATCH] CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1666 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/CHANGELOG.txt | 1 +
 1 file changed, 1 insertion(+)

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]