From 031c8968b106068b29923fe7ef21727396ef7544 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 5 Jul 2006 22:42:39 +0000 Subject: [PATCH] Final changes for 3.0 release. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@55 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 6 ++++++ prism/README.txt | 4 ++-- prism/VERSIONS.txt | 2 +- prism/src/prism/Prism.java | 2 +- 4 files changed, 10 insertions(+), 4 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 65e41521..db9bf327 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -2,6 +2,12 @@ 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.0 (6/7/2006) (svn rev 55) +----------------------------------------------------------------------------- + +* Bug fixes + ----------------------------------------------------------------------------- Version 3.0.beta1 (29/3/2006) (svn rev 45) ----------------------------------------------------------------------------- diff --git a/prism/README.txt b/prism/README.txt index 8ef14409..a78ec4d1 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -2,7 +2,7 @@ README ====== -This is PRISM (Probabilistic Symbolic Model Checker), version 3.0.beta1 +This is PRISM (Probabilistic Symbolic Model Checker), version 3.0. ------------ INSTALLATION @@ -12,7 +12,7 @@ For detailed installation instructions, check the online manual at: http://www.cs.bham.ac.uk/~dxp/prism/manual/InstallingPRISM/Instructions -or look in the local copies included in this distribution: +or see the local copies included in this distribution: doc/manual/InstallingPRISM/Instructions.html doc/manual.pdf diff --git a/prism/VERSIONS.txt b/prism/VERSIONS.txt index 0c016fc2..8fbe170a 100644 --- a/prism/VERSIONS.txt +++ b/prism/VERSIONS.txt @@ -2,7 +2,7 @@ This file summarises the principal changes between each main public release of P For more detailed information about the various changes, see the file CHANGELOG.txt. ----------------------------------------------------------------------------- -Version 3.0 (beta 1 released 29/3/2006) +Version 3.0 (released 6/7/2006) ----------------------------------------------------------------------------- * Discrete-event simulation engine added, providing: diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index ec1871b9..a63b7b50 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -42,7 +42,7 @@ import simulator.*; public class Prism { // prism version - private static final String version = "3.0.beta1"; + private static final String version = "3.0"; //------------------------------------------------------------------------------ // Constants