diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 85764397..38c6c34d 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -4,8 +4,10 @@ of the main changes in each public release, see the file VERSIONS.txt. ----------------------------------------------------------------------------- Latest additions (reverse chronological) ------------------------------------------------------------------------------ - +----------------------------------------------------------------------------- + +* New "rows" option for matrix exports (-exportrows switch) +* Ability to display extra info about MTBDDs (-extraddinfo switch) * Cumulative reward properties for DTMCs * Support for 64-bit architectures * Addition of F and G operators to property language (eventually/globally)