From e124caac03fce0d6517f8a81204cd9c8e4c1707d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 12 May 2014 00:12:05 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8215 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 13212b37..1002aa5a 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -1,6 +1,8 @@ This file contains details of the changes in each new version of PRISM. -New since last release: +----------------------------------------------------------------------------- +Version 4.2 (beta first released 12/5/2014) +----------------------------------------------------------------------------- * Parametric model checking