CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8215 bbc10eb1-c90d-0410-af57-cb519fbb1720
12 years ago · e124caac03
1 changed files with 3 additions and 1 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -1,6 +1,8 @@
 This file contains details of the changes in each new version of PRISM.

-New since last release:
+-----------------------------------------------------------------------------
+Version 4.2 (beta first released 12/5/2014)
+-----------------------------------------------------------------------------

 * Parametric model checking