From a4cf4ac1649be5c3350f850400badf4c91c92afb Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 21 Nov 2011 10:18:21 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4186 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index e43a2964..f8f8679c 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -12,12 +12,12 @@ Changes: * Bash completion scripts + additional syntax highlighters * 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 Ongoing changes: * CSV format for results export (GUI, not CL yet) * Handling of verbosity in log: PrismLog updated, not used yet -* Handling of warnings in log * Properties can be named, by prefixing with "name":, and reference each other * CTL AG/EF