From fd826a5d9379def8f498c20162a58076f055ea3b Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 22 Aug 2011 09:18:59 +0000
Subject: [PATCH] CHANGELOG.

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

diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index adb2511c..8281ab27 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -8,12 +8,12 @@ Latest changes (mostly reverse chronological):
 * Fixed anti-aliasing in GUI model editor
 * Better handling of undefined constants in properties
 * Added -exportprodtrans and -exportprodstates switches
+* More improvements to explicit engine
 * Bug fixes
 
 Ongoing changes:
 
 * Properties can be named, by prefixing with "name":, and reference each other
-* More improvements to explicit engine
 * CTL AG/EF
 
 -----------------------------------------------------------------------------