From 3bcc43c3a279ad586e036c9ee853c14291f42126 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 25 Jan 2012 10:32:02 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4481 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 d5fcb070..7e8e7ffb 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -18,6 +18,7 @@ Changes: Ongoing changes: +* Need to decide on switch options format for -exportresults * Handling of verbosity in log: PrismLog updated, not used yet * Properties can be named, by prefixing with "name":, and reference each other * CTL AG/EF