CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4496 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago · 52b54d55fc
1 changed files with 2 additions and 0 deletions
--- 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)