Final changes for 3.0 release.

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

prism/CHANGELOG.txt

@@ -2,6 +2,12 @@ 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.0 (6/7/2006) (svn rev 55)
+-----------------------------------------------------------------------------
+
+* Bug fixes
+
 -----------------------------------------------------------------------------
 Version 3.0.beta1 (29/3/2006) (svn rev 45)
 -----------------------------------------------------------------------------

prism/README.txt

@@ -2,7 +2,7 @@
 README
 ======
 
-This is PRISM (Probabilistic Symbolic Model Checker), version 3.0.beta1
+This is PRISM (Probabilistic Symbolic Model Checker), version 3.0.
 
 ------------
 INSTALLATION
@@ -12,7 +12,7 @@ For detailed installation instructions, check the online manual at:
 
   http://www.cs.bham.ac.uk/~dxp/prism/manual/InstallingPRISM/Instructions
   
-or look in the local copies included in this distribution:
+or see the local copies included in this distribution:
 
   doc/manual/InstallingPRISM/Instructions.html
   doc/manual.pdf

prism/VERSIONS.txt

@@ -2,7 +2,7 @@ This file summarises the principal changes between each main public release of P
 For more detailed information about the various changes, see the file CHANGELOG.txt.
 
 -----------------------------------------------------------------------------
-Version 3.0 (beta 1 released 29/3/2006)
+Version 3.0 (released 6/7/2006)
 -----------------------------------------------------------------------------
 
 * Discrete-event simulation engine added, providing:

prism/src/prism/Prism.java

@@ -42,7 +42,7 @@ import simulator.*;
 public class Prism
 {
 	// prism version
-	private static final String version = "3.0.beta1";
+	private static final String version = "3.0";
 	
 	//------------------------------------------------------------------------------
 	// Constants