CHANGELOG/VERSIONS update.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@112 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/CHANGELOG.txt

@@ -2,12 +2,20 @@ This file contains details of the changes in each new version of PRISM,
 including development and beta versions. For a less detailed overview
 of the main changes in each public release, see the file VERSIONS.txt.
 
-New stuff:
-* multiple reward structures
- - can be given names too
- - accessed by R{i}=?[] or R{"name"}=?[ m/c
- - simulation
- - export
+-----------------------------------------------------------------------------
+Version 3.1.beta1 (3/11/2006) (svn rev 112)
+-----------------------------------------------------------------------------
+
+* New installer for Windows binary
+* Models can now have multiple (named) reward structures
+* New -simpath switch for command-line generation of random paths with simulator
+* Minor PRISM language improvements:
+  - type keyword does not need to be first thing in model file
+  - doubles in exponential form (1.4e-9) and unary minus (-1) allowed
+* PRISM settings file now used by command-line version too
+* Small GUI improvements
+* New option to disable steady-state detection for CTMC transient analysis
+* Bug fixes
 
 -----------------------------------------------------------------------------
 Version 3.0 (6/7/2006) (svn rev 55)

prism/VERSIONS.txt

@@ -1,6 +1,22 @@
 This file summarises the principal changes between each main public release of PRISM.
 For more detailed information about the various changes, see the file CHANGELOG.txt.
 
+-----------------------------------------------------------------------------
+Version 3.1 (beta1 released 3/11/2006)
+-----------------------------------------------------------------------------
+
+* New installer for Windows binary
+* Models can now have multiple (named) reward structures
+* New -simpath switch for command-line generation of random paths with simulator
+* Minor PRISM language improvements:
+  - type keyword does not need to be first thing in model file
+  - doubles in exponential form (1.4e-9) and unary minus (-1) allowed
+* PRISM settings file now used by command-line version too
+* Small GUI improvements
+* New option to disable steady-state detection for CTMC transient analysis
+* Bug fixes
+
+
 -----------------------------------------------------------------------------
 Version 3.0 (released 6/7/2006)
 -----------------------------------------------------------------------------