diff --git a/CHANGELOG.txt b/CHANGELOG.txt index e22adb434fa1da983b7e58fc2d2ca1f26c86f8d0..7e68b159d1d92474076b4920f249788bacfa0fb5 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