diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index f60525de..5d3938b7 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -2,6 +2,7 @@ This file contains details of the changes in each new version of PRISM. New since last release: +* Export steady-state/transient probabilities from GUI * Additional graph zoom functionality on popup menu * Added R[C<=k] operator for MDPs (sparse, explicit) * Additional functionality in explicit engine