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)