From fc2723b0b3cdb40eb6f92e7b34a34b4a867081e7 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 20 Dec 2012 16:29:33 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6255 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 fbce1a3b..e06e3d66 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -39,7 +39,7 @@ Version 4.1 (beta released 20/12/2012) - new switch -settings to read a settings file from command-line PRISM * New file extensions: .prism, .props -* New scripts: prism-auto/prism-test/prism-filler +* New scripts for testing and benchmarking: prism-auto/prism-test/prism-filler * New -exportdigital switch for exporting PRISM code built by digital clocks PTA engine * New syntax for (CTMC) transient probabilities in P operator: P=?[ F=T "target" ]