From 801df965c7c2ef5e7da086ee36bc8e6b6309cc6c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 15 Oct 2010 22:10:50 +0000
Subject: [PATCH] Version num.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2167 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/NOTES                | 3 ++-
 prism/src/prism/Prism.java | 8 +++++---
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/prism/NOTES b/prism/NOTES
index 8098bdde..5d700915 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -9,7 +9,7 @@ TODO (before any release)
 
 PTAs:
 * GUI
-* Tidy prism-examples/pta, incl. delete brp
+* Tidy prism-examples/pta
 * Clarify semantic/type checks (consistency with games/digital)
 * Check guards/invariants for convexity (for now, neither can be non-convex, see below)
 * Clarify time divergence issues
@@ -87,6 +87,7 @@ PTAs:
 * BRP example
 * Translate non-convex guards to DNF and multiple transitions
 * Investigate whether non-convex invariants can be supported (look at zone ops)
+* BRP example
 
 * Games: Optimise number of states in time-bounded PTAs
   (extras added in old target states) using until in forwards reach?
diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 1c7195a1..8eaa0922 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -47,7 +47,9 @@ import pta.*;
 public class Prism implements PrismSettingsListener
 {
 	// prism version
-	private static String version = "3.3.dev";
+	private static String version = "4.0.alpha";
+	// prism version suffix
+	private static String versionSuffix = ".$Rev$";
 	
 	//------------------------------------------------------------------------------
 	// Constants
@@ -382,7 +384,7 @@ public class Prism implements PrismSettingsListener
 	// get methods
 	
 	public static String getVersion()
-	{ return version; }
+	{ return version + versionSuffix; }
 	
 	public PrismLog getMainLog()
 	{ return mainLog; }
@@ -647,7 +649,7 @@ public class Prism implements PrismSettingsListener
 	public void initialise() throws PrismException
 	{
 		mainLog.print("PRISM\n=====\n");
-		mainLog.print("\nVersion: " + version + "\n");
+		mainLog.print("\nVersion: " + getVersion() + "\n");
 		mainLog.print("Date: " + new java.util.Date() + "\n");
 		try {
 			String h = java.net.InetAddress.getLocalHost().getHostName();