From 2dfc151b8abaee7aa1bdaf690093c02b9991c6fe Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 28 Jun 2011 21:39:45 +0000 Subject: [PATCH] Version 4.0 num/changelog. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3173 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 6 ++++++ prism/src/prism/Prism.java | 4 ++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 19a70180..ce801a39 100644 --- 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) ----------------------------------------------------------------------------- diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 25fecefd..1a0d305d 100644 --- 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