From 5932841ec7c377637ff8eabdff1e138e1c8b8f2c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 16 Dec 2012 23:56:29 +0000 Subject: [PATCH] Update version info (to 4.1.beta1). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6208 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index ea175f84..a97f0e6d 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -50,10 +50,10 @@ import prism.Model; public class Prism implements PrismSettingsListener { // prism version - private static String version = "4.0.3"; + private static String version = "4.1"; // prism version suffix //private static String versionSuffix = ""; - private static String versionSuffix = ".dev"; //".rXXXX"; + private static String versionSuffix = ".beta1"; //".rXXXX"; //------------------------------------------------------------------------------ // Constants