From 657afdcd52b8d9c3255bac51785c7721bf0d29f2 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 18 Jul 2011 23:36:06 +0000 Subject: [PATCH] Version nums (4.0.1). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3292 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/README.txt | 2 +- prism/src/prism/Prism.java | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/README.txt b/prism/README.txt index 48adde2e..3499412b 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -2,7 +2,7 @@ README ====== -This is PRISM (Probabilistic Symbolic Model Checker), version 4.0. +This is PRISM (Probabilistic Symbolic Model Checker), version 4.0.1. ------------ INSTALLATION diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 8be951d1..99a44951 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -51,9 +51,9 @@ import prism.Model; public class Prism implements PrismSettingsListener { // prism version - private static String version = "4.0"; + private static String version = "4.0.1"; // prism version suffix - private static String versionSuffix = ".dev"; //".rXXXX";; + private static String versionSuffix = ""; // ".dev"; //".rXXXX";; //------------------------------------------------------------------------------ // Constants