From 5e477df476a0bdb8062ad6d3fb24c757a6692917 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 14 Jul 2011 12:06:02 +0000
Subject: [PATCH] CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3266 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 2e99a19b..807a27ab 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -59,10 +59,10 @@ Version 4.0 (released 28/6/2011)
   - New -exporttarget switch
   - New versions of jcommon (1.0.16) and jfreechart (1.0.13)
 
-* Changes since 4.0.beta2 (released 10/6/2011) []:
+* Changes since 4.0.beta2 (released 10/6/2011)
   - None
 
-* Changes since 4.0.beta (released 16/12/2010) [svn: trunk rev XX]:
+* Changes since 4.0.beta (released 16/12/2010)
   - Bug fixes: simulator, error messages, typos and examples)
   
 -----------------------------------------------------------------------------