From df49f2b83398c77ad23edc1d7cfb01cd5227280a Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 19 Mar 2008 14:51:50 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@698 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 24b12bf9..cfa9073c 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -6,10 +6,11 @@ of the main changes in each public release, see the file VERSIONS.txt. Latest changes (reverse chronological): -Steady-state properties for DTMCs -GUI model editor: line numbers, undo -Language changes: no ranges, new function notation, semicolons, update parentheses -New parser: more efficient, better error reporting +* Easier viewing of model checking results in GUI +* Steady-state properties/operators for DTMCs +* GUI model editor: line numbers, undo +* Language changes: no ranges, new function notation, semicolons, update parentheses +* New parser: more efficient, better error reporting ----------------------------------------------------------------------------- Version 3.2.beta1 (released 25/2/2008) (svn: trunk rev 568)