From 4d5c83e21daa4062117a6af7c9cf1246c8c6d835 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 20 Dec 2012 16:27:27 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6254 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 6cde3d88..fbce1a3b 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -1,7 +1,7 @@ This file contains details of the changes in each new version of PRISM. ----------------------------------------------------------------------------- -Version 4.1 (beta released ???) +Version 4.1 (beta released 20/12/2012) ----------------------------------------------------------------------------- * Multi-objective model checking for MDPs