CHANGELOG/VERSIONS.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@567 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · dfc614d703
2 changed files with 2 additions and 2 deletions
--- 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)
--- 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)