CHANGELOG and VERSIONS.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1667 bbc10eb1-c90d-0410-af57-cb519fbb1720
17 years ago · b5f4b47fd2
2 changed files with 7 additions and 3 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -31,10 +31,8 @@ Temporary files:
 * TODO
 * examples/

-CHECK 3.3.1 details are up-to-date...
-
 -----------------------------------------------------------------------------
-Version 3.3.1 (released ???)
+Version 3.3.1 (released 22/11/2009)
 -----------------------------------------------------------------------------

 Bug fixes:
--- a/prism/VERSIONS.txt
+++ b/prism/VERSIONS.txt
@ -1,6 +1,12 @@
 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.3.1 (released 22/11/2009)
+-----------------------------------------------------------------------------
+
+* Minor bug fixes
+
 -----------------------------------------------------------------------------
 Version 3.3 (beta1 released 20/5/2009)
 -----------------------------------------------------------------------------