From 484d803121001ed99adca7e810a7f1cacc13b3b4 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 25 Feb 2008 12:31:08 +0000
Subject: [PATCH] New version numbers.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@564 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/README.txt           | 2 +-
 prism/src/prism/Prism.java | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/README.txt b/prism/README.txt
index 148d9a8c..65eb7dbc 100644
--- a/prism/README.txt
+++ b/prism/README.txt
@@ -2,7 +2,7 @@
 README
 ======
 
-This is PRISM (Probabilistic Symbolic Model Checker), version 3.1.1.
+This is PRISM (Probabilistic Symbolic Model Checker), version 3.2.
 
 ------------
 INSTALLATION
diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 68837d3f..d9b9da1d 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -46,7 +46,7 @@ import simulator.*;
 public class Prism implements PrismSettingsListener
 {
 	// prism version
-	private static String version = "3.1.1.dev";
+	private static String version = "3.2.beta1";
 	
 	//------------------------------------------------------------------------------
 	// Constants