From 5b35280d18da00fe6d5cffd85e39260367725b4c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 19 Mar 2021 17:55:48 +0000
Subject: [PATCH] CHANGELOG.

---
 CHANGELOG.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.txt b/CHANGELOG.txt
index e22adb434..7e68b159d 100644
--- a/CHANGELOG.txt
+++ b/CHANGELOG.txt
@@ -1,8 +1,8 @@
 This file contains details of the changes in each new version of PRISM.
 
 -----------------------------------------------------------------------------
-
-Latest changes (up to 2cedf62a):
+Version 4.7 (first released 19/3/2021)
+-----------------------------------------------------------------------------
 
 * New model checking functionality
   - support for POMDP/POPTA model checking
-- 
GitLab