From c002cbd19febc400ad37195d470ed688564b9acc Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 2 Nov 2006 09:47:44 +0000 Subject: [PATCH] Updated version info: 3.1.beta1. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@104 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 a78ec4d1..58dd95b9 100644 --- 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 diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 431ade4a..fa2c0064 100644 --- 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