From 9f29144b6da77958a44b434f530e40f01b058495 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 17 Mar 2008 07:55:37 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@667 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 30b9f6ab..24b12bf9 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -1,7 +1,16 @@ 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 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 + ----------------------------------------------------------------------------- Version 3.2.beta1 (released 25/2/2008) (svn: trunk rev 568) -----------------------------------------------------------------------------