From a61f91318c4fe95834584e9b60529734ed3709b7 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 8 Dec 2009 10:51:11 +0000 Subject: [PATCH] CHANGELOG.txt. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1611 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index faecc839..d68fa64d 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -12,8 +12,9 @@ Ongoing changes: * Access to action labels Latest changes (reverse chronological): -[correct wrt svn rev ???] +[correct wrt svn rev 1610] +* 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 * New -exporttransdotstates option @@ -24,7 +25,8 @@ Latest changes (reverse chronological): Temporary files: -* NOTES-* +* NOTES* +* TODO * examples/ CHECK 3.3.1 details are up-to-date...