From 8bba7a1ca149a85a0575b90b5066d31990badcbe Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 23 Apr 2007 11:22:57 +0000 Subject: [PATCH] Typo in CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@296 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 8f082a97..85764397 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -1,19 +1,19 @@ 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. - ------------------------------------------------------------------------------ -Latest additions (reverse chronological) ------------------------------------------------------------------------------ - -* Cumulative reward properties for DTMC -* Support for 64-bit architectures -* Addition of F and G operators to property language (eventually/globally) -* Redesign of the simulator GUI, plus new features: - - ability to display cumulated time/rewards - - new "Configure view" dialog - - easier selection of next step (double click) -* Resizeable experiment results table + +----------------------------------------------------------------------------- +Latest additions (reverse chronological) +----------------------------------------------------------------------------- + +* Cumulative reward properties for DTMCs +* Support for 64-bit architectures +* Addition of F and G operators to property language (eventually/globally) +* Redesign of the simulator GUI, plus new features: + - ability to display cumulated time/rewards + - new "Configure view" dialog + - easier selection of next step (double click) +* Resizeable experiment results table ----------------------------------------------------------------------------- Version 3.1.1 (5/4/2007)