From 601dd975477e688cfb13595b79f480d9f2cb5cef Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 19 May 2011 08:49:59 +0000
Subject: [PATCH] CHANGELOG.

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

diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 223dbf9c..776dda9b 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -2,6 +2,11 @@ This file contains details of the changes in each new version of PRISM,
 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]
+
+* <none>
+
 -----------------------------------------------------------------------------
 Version 4.0.beta (released 16/12/2010)
 -----------------------------------------------------------------------------