diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 28d8f1df..3b7418fd 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -19,7 +19,7 @@ Latest changes (mostly reverse chronological): * Formulas used in properties are left unexpanded for legibility * New versions of jcommon (1.0.16) and jfreechart (1.0.13) * Option to specify initial distribution for transient analysis -* Option to export transient probabilities to a file +* Option to export steady-state/transient probabilities to a file * New -exporttransdotstates option * Improved dot file export for MDPs * Strict upper time-bounds allowed in properties