From 4806f8308812e42fc2f702b1e8df1e69d6c99a1b Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 18 Aug 2011 21:39:57 +0000
Subject: [PATCH] CHANGELOG.

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

diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 241720dd..adb2511c 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -3,10 +3,12 @@ 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 3263]
+[correct wrt svn rev 3510]
 
 * Fixed anti-aliasing in GUI model editor
 * Better handling of undefined constants in properties
+* Added -exportprodtrans and -exportprodstates switches
+* Bug fixes
 
 Ongoing changes: