From 18a158cf9ef79eda074f1157d12e82c003969a8a Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 18 Dec 2009 16:00:35 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1665 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 248eee84..f0864f58 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -14,6 +14,7 @@ Ongoing changes: Latest changes (reverse chronological): [correct wrt svn rev 1610] +* 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