From cae17b15267050bc99096cb2d291c989e9fbbc1d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sat, 17 Dec 2011 23:22:58 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4247 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index f8f8679c..af71a57b 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -13,6 +13,7 @@ Changes: * Added PrismTest class to illustrate programmatic use of PRISM * GUI on Macs uses Cmd, not Ctrl * Added prominence given to log warning messages in command-line/GUI +* Command-line scripts can signal termination via growlnotify/notify-send Ongoing changes: