From e80af1a74bf038f5801f5359dee2c44301351836 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 10 Apr 2007 09:04:34 +0000 Subject: [PATCH] Make sure 3.1->3.1.1 changes included in trunk. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@256 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 9 +++++++++ prism/README.txt | 2 +- prism/VERSIONS.txt | 6 ++++++ prism/src/prism/Prism.java | 2 +- 4 files changed, 17 insertions(+), 2 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index dd07e72a..eaa553f6 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -2,6 +2,15 @@ This file contains details of the changes in each new version of PRISM, including development and beta versions. For a less detailed overview of the main changes in each public release, see the file VERSIONS.txt. +----------------------------------------------------------------------------- +Version 3.1.1 (5/4/2007) +----------------------------------------------------------------------------- + +* Minor bug fixes: + - bug in "New Graph" dialog which fails on Java 6 + - threading bug which can cause graph plotting to freeze + - fix to possible failure of Windows launch scripts + ----------------------------------------------------------------------------- Version 3.1 (15/11/2006) ----------------------------------------------------------------------------- diff --git a/prism/README.txt b/prism/README.txt index b7fb751d..cd12e5df 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -2,7 +2,7 @@ README ====== -This is PRISM (Probabilistic Symbolic Model Checker), version 3.1. +This is PRISM (Probabilistic Symbolic Model Checker), version 3.1.1. ------------ INSTALLATION diff --git a/prism/VERSIONS.txt b/prism/VERSIONS.txt index f5f3f188..91dab236 100644 --- a/prism/VERSIONS.txt +++ b/prism/VERSIONS.txt @@ -1,6 +1,12 @@ This file summarises the principal changes between each main public release of PRISM. For more detailed information about the various changes, see the file CHANGELOG.txt. +----------------------------------------------------------------------------- +Version 3.1.1 (released 5/4/2007) +----------------------------------------------------------------------------- + +* Minor bug fixes + ----------------------------------------------------------------------------- Version 3.1 (released 15/11/2006) ----------------------------------------------------------------------------- diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index c82b5006..d095b461 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.dev"; + private static String version = "3.1.1.dev"; //------------------------------------------------------------------------------ // Constants