From 52b54d55fc1e8a63bb2332eb3d48553f71360e48 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 26 Jan 2012 21:39:30 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4496 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 7e8e7ffb..ed6797b0 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -7,6 +7,8 @@ Latest changes (mostly reverse chronological): Changes: +* Added -pf as a command-line switch alias for -pctl/-csl +* Add .props as a properties file extension (in GUI) * Export of results in matrix form, e.g. for surface plots (-exportresultsmatrix) * And export of results in CSV format (-exportresultscsv and -exportresultsmatrixcsv) * Can disable Prob0/Prob1 precomputation algorithms independently (-noprob0, -noprob1)