diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 4e1f43c7..eb1fc943 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -12,6 +12,12 @@ Ongoing changes: * New version of explicit engine (including extra methods e.g. for MDPs) * Property names allowed, but mostly not used +----------------------------------------------------------------------------- +Version 4.0.beta2 (released 10/6/2011) +----------------------------------------------------------------------------- + +* Bug fixes: simulator, error messages, typos and examples + ----------------------------------------------------------------------------- Version 4.0.beta (released 16/12/2010) -----------------------------------------------------------------------------