Make sure 3.1->3.1.1 changes included in trunk.

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

prism/CHANGELOG.txt

@@ -2,6 +2,15 @@ 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.
 
+-----------------------------------------------------------------------------
+Version 3.1.1 (5/4/2007)
+-----------------------------------------------------------------------------
+
+* Minor bug fixes:
+  - bug in "New Graph" dialog which fails on Java 6
+  - threading bug which can cause graph plotting to freeze
+  - fix to possible failure of Windows launch scripts
+
 -----------------------------------------------------------------------------
 Version 3.1 (15/11/2006)
 -----------------------------------------------------------------------------

prism/README.txt

@@ -2,7 +2,7 @@
 README
 ======
 
-This is PRISM (Probabilistic Symbolic Model Checker), version 3.1.
+This is PRISM (Probabilistic Symbolic Model Checker), version 3.1.1.
 
 ------------
 INSTALLATION

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.1.1 (released 5/4/2007)
+-----------------------------------------------------------------------------
+
+* Minor bug fixes
+
 -----------------------------------------------------------------------------
 Version 3.1 (released 15/11/2006)
 -----------------------------------------------------------------------------

prism/src/prism/Prism.java

@@ -46,7 +46,7 @@ import simulator.*;
 public class Prism implements PrismSettingsListener
 {
 	// prism version
-	private static String version = "3.1.dev";
+	private static String version = "3.1.1.dev";
 	
 	//------------------------------------------------------------------------------
 	// Constants