From 9f91ecae2f111bd244b602b6386fbe302edd877e Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 18 Jul 2011 20:05:58 +0000
Subject: [PATCH] CHANGELOG.txt.

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

diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 807a27ab..ed767904 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -6,13 +6,13 @@ Latest changes (mostly reverse chronological):
 [correct wrt svn rev 3263]
 
 * Added if-and-only-if operator (<=>) for use in models/properties
-* Properties can be named, by prefixing with "name":, and reference each other
-* Updated version of explicit engine
+* Updated version of explicit model checking library
 * Testing mode (-test and -testall switches)
 * Various bug fixes
 
 Ongoing changes:
 
+* Properties can be named, by prefixing with "name":, and reference each other
 * More improvements to explicit engine
 * CTL AG/EF