From 6c4b540f1b5a4abffdfd6920e4fa12d5f0433f22 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 4 Nov 2011 10:23:11 +0000 Subject: [PATCH] CHANGELOG git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4138 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 97953c44..cf713f31 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -7,7 +7,7 @@ Latest changes (mostly reverse chronological): Changes: -* Results can be exported in matrix form (e.g. for surface plots) +* Export of results in matrix form, e.g. for surface plots (-exportresultsmatrix) * Can disable Prob0/Prob1 precomputation algorithms independently (-noprob0, -noprob1) * Bash completion scripts + additional syntax highlighters * Added PrismTest class to illustrate programmatic use of PRISM