Skip to content

Commit 5b35280

Browse files
davexparkerdavexparker
committed
CHANGELOG.
1 parent 7a6728a commit 5b35280

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

‎CHANGELOG.txt‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
This file contains details of the changes in each new version of PRISM.
22

33
-----------------------------------------------------------------------------
4-
5-
Latest changes (up to 2cedf62a):
4+
Version 4.7 (first released 19/3/2021)
5+
-----------------------------------------------------------------------------
66

77
* New model checking functionality
88
- support for POMDP/POPTA model checking

0 commit comments

Comments
 (0)