From 5d1fcbbfddb2b8d8dc4ddddfb1c47bc37bc8cc56 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 10 Jun 2013 23:04:15 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6887 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 8307bb12..c8424d7b 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -2,7 +2,8 @@ This file contains details of the changes in each new version of PRISM. New since last release: -* Slight change to notaton for -exportresults to match -exportmodel +* Small improvements to usability of the GUI simulator transition table +* Slight change to notation for -exportresults to match -exportmodel * Some new '-help xxx' switches (const,simpath,exportresults,aroptions,exportmodel,importmodel) * New -exportmodel and -importmodel convenience switches * Allow command-line switches of form --sw (as well as -sw)