From 61f0727290fd103df8e19cfad106471720423b18 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 10 Jun 2011 10:58:10 +0000
Subject: [PATCH] CHANGELOG.

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

diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 6f414bbd..4e1f43c7 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -5,10 +5,13 @@ of the main changes in each public release, see the file VERSIONS.txt.
 Latest changes (mostly reverse chronological):
 [correct wrt svn rev 3047]
 
-* Ongoing: new explicit engine (some extra methods e.g. for MDPs)
-
 * Various bug fixes
 
+Ongoing changes:
+
+* New version of explicit engine (including extra methods e.g. for MDPs)
+* Property names allowed, but mostly not used
+
 -----------------------------------------------------------------------------
 Version 4.0.beta (released 16/12/2010)
 -----------------------------------------------------------------------------