CHANGELOG

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3119 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · 073797e83b
1 changed files with 6 additions and 0 deletions
--- 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)
 -----------------------------------------------------------------------------