From 7173ca6244ff04070a900b77210fed40c4643744 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 19 Oct 2011 20:34:41 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4079 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 13cd5af9..636c9499 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -7,6 +7,8 @@ Latest changes (mostly reverse chronological): Ongoing changes: +* Handling of verbosity/warnings in log +* Bash completion scripts * Properties can be named, by prefixing with "name":, and reference each other * CTL AG/EF