CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4177 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago · 254c9b2b89
1 changed files with 1 additions and 0 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -11,6 +11,7 @@ Changes:
 * Can disable Prob0/Prob1 precomputation algorithms independently (-noprob0, -noprob1)
 * Bash completion scripts + additional syntax highlighters
 * Added PrismTest class to illustrate programmatic use of PRISM
+* GUI on Macs uses Cmd, not Ctrl

 Ongoing changes: