From 5064ae83f1a9668c428fe86453c2f5956c2a779e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 17 Nov 2006 09:42:23 +0000 Subject: [PATCH] Synch with updates to README/VERSIONS/CHANGELOG made for 3.1.beta1 -> 3.1. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@158 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 8 +++++++- prism/README.txt | 2 +- prism/VERSIONS.txt | 2 +- 3 files changed, 9 insertions(+), 3 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 3c09538f..dd07e72a 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -3,7 +3,13 @@ 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.beta1 (3/11/2006) (svn rev 114) +Version 3.1 (15/11/2006) +----------------------------------------------------------------------------- + +* No changes + +----------------------------------------------------------------------------- +Version 3.1.beta1 (3/11/2006) ----------------------------------------------------------------------------- * New installer for Windows binary diff --git a/prism/README.txt b/prism/README.txt index 58dd95b9..c5f79bcd 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -2,7 +2,7 @@ README ====== -This is PRISM (Probabilistic Symbolic Model Checker), version 3.1.beta1. +This is PRISM (Probabilistic Symbolic Model Checker), version 3.1. ------------ INSTALLATION diff --git a/prism/VERSIONS.txt b/prism/VERSIONS.txt index 82fad3ab..f5f3f188 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.1 (beta1 released 3/11/2006) +Version 3.1 (released 15/11/2006) ----------------------------------------------------------------------------- * New installer for Windows binary