From 537813efdc31fbcf537d72ae6daf8cee7e477505 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 8 Dec 2010 09:52:37 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2326 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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