From d1eaf905691ad52b467d6ee9b487b5103fe0f134 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 14 Nov 2006 17:24:41 +0000 Subject: [PATCH] New version number: 3.1.dev. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@149 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 64da84cf..78e63340 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -41,7 +41,7 @@ import simulator.*; public class Prism implements PrismSettingsListener { // prism version - private static final String version = "3.1.beta1"; + private static final String version = "3.1.dev"; //------------------------------------------------------------------------------ // Constants