From 03bd9724197fbcde522d3b90469e45326e070a11 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 3 Nov 2006 13:15:12 +0000 Subject: [PATCH] CHANGELOG update. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@114 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 0d705860..3c09538f 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -3,7 +3,7 @@ including development and beta versions. For a less detailed overview of the main changes in each public release, see the file VERSIONS.txt. ----------------------------------------------------------------------------- -Version 3.1.beta1 (3/11/2006) (svn rev 112) +Version 3.1.beta1 (3/11/2006) (svn rev 114) ----------------------------------------------------------------------------- * New installer for Windows binary