From dfc614d703f7fa4506897d2fc64562411d441d96 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 25 Feb 2008 12:32:41 +0000 Subject: [PATCH] CHANGELOG/VERSIONS. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@567 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 2 +- prism/VERSIONS.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 0dc33491..c724e46c 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.2.beta1 (released 8/2/2008) +Version 3.2.beta1 (released 25/2/2008) ----------------------------------------------------------------------------- * Fix to allow building on Mac OS X v10.5 (Leopard) diff --git a/prism/VERSIONS.txt b/prism/VERSIONS.txt index f96c144e..11e6b570 100644 --- a/prism/VERSIONS.txt +++ b/prism/VERSIONS.txt @@ -2,7 +2,7 @@ This file summarises the principal changes between each main public release of P For more detailed information about the various changes, see the file CHANGELOG.txt. ----------------------------------------------------------------------------- -Version 3.2 (beta released 8/2/2008) +Version 3.2 (beta released 25/2/2008) ----------------------------------------------------------------------------- * Support for 64-bit architectures and Mac OS X v10.5 (Leopard)