From b5f4b47fd209e24a72a31f60dc1028c070f0920c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 20 Dec 2009 21:58:58 +0000 Subject: [PATCH] CHANGELOG and VERSIONS. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1667 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 4 +--- prism/VERSIONS.txt | 6 ++++++ 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 49963eee..7cac747c 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -31,10 +31,8 @@ Temporary files: * TODO * examples/ -CHECK 3.3.1 details are up-to-date... - ----------------------------------------------------------------------------- -Version 3.3.1 (released ???) +Version 3.3.1 (released 22/11/2009) ----------------------------------------------------------------------------- Bug fixes: diff --git a/prism/VERSIONS.txt b/prism/VERSIONS.txt index b2f7d21d..884ba2de 100644 --- a/prism/VERSIONS.txt +++ b/prism/VERSIONS.txt @@ -1,6 +1,12 @@ This file summarises the principal changes between each main public release of PRISM. For more detailed information about the various changes, see the file CHANGELOG.txt. +----------------------------------------------------------------------------- +Version 3.3.1 (released 22/11/2009) +----------------------------------------------------------------------------- + +* Minor bug fixes + ----------------------------------------------------------------------------- Version 3.3 (beta1 released 20/5/2009) -----------------------------------------------------------------------------