Updated version info: 3.1.beta1.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@104 bbc10eb1-c90d-0410-af57-cb519fbb1720
20 years ago · c002cbd19f
2 changed files with 2 additions and 2 deletions
--- a/prism/README.txt
+++ b/prism/README.txt
@ -2,7 +2,7 @@
 README
 ======

-This is PRISM (Probabilistic Symbolic Model Checker), version 3.0.
+This is PRISM (Probabilistic Symbolic Model Checker), version 3.1.beta1.

 ------------
 INSTALLATION
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@ -42,7 +42,7 @@ import simulator.*;
 public class Prism implements PrismSettingsListener
 {
 	// prism version
-	private static final String version = "3.0";
+	private static final String version = "3.1.beta1";
 	
 	//------------------------------------------------------------------------------
 	// Constants