diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index f2ec67d2..de9e9c4f 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -12,6 +12,15 @@ Latest changes (reverse chronological): * ... +----------------------------------------------------------------------------- +Version 3.3.beta2 (released 29/7/2009) +----------------------------------------------------------------------------- + +Bug fixes: +- LTL model checking (svn: 112, 1132) +- Approximate model checking (svn: 1214) +- Building on new Macs (svn: 1103, 1105, 1349) + ----------------------------------------------------------------------------- Version 3.3.beta1 (released 20/5/2009) (svn: trunk rev 1066) -----------------------------------------------------------------------------