Version 4.0 num/changelog.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3173 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · 2dfc151b8a
2 changed files with 8 additions and 2 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -13,6 +13,12 @@ Ongoing changes:
 * Property names allowed, but mostly not used
 * Testing mode

+-----------------------------------------------------------------------------
+Version 4.0 (released 28/6/2011)
+-----------------------------------------------------------------------------
+
+* No changes
+
 -----------------------------------------------------------------------------
 Version 4.0.beta2 (released 10/6/2011)
 -----------------------------------------------------------------------------
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@ -51,9 +51,9 @@ import prism.Model;
 public class Prism implements PrismSettingsListener
 {
 	// prism version
-	private static String version = "4.0.beta";
+	private static String version = "4.0";
 	// prism version suffix
-	private static String versionSuffix = ""; //".rXXXX";;
+	private static String versionSuffix = ".dev"; //".rXXXX";;
 	
 	//------------------------------------------------------------------------------
 	// Constants