From 3a748072c98e49faddb4b2eb175dc0408751451d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 8 Jun 2011 11:06:14 +0000
Subject: [PATCH] CHANGELOG.

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

diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 776dda9b..6f414bbd 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -3,9 +3,11 @@ 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 2927]
+[correct wrt svn rev 3047]
 
-* <none>
+* Ongoing: new explicit engine (some extra methods e.g. for MDPs)
+
+* Various bug fixes
 
 -----------------------------------------------------------------------------
 Version 4.0.beta (released 16/12/2010)