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();