From 4e391c23cddedf639de3ce40079f8bf1ddb738a4 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 4 Apr 2013 09:41:17 +0000 Subject: [PATCH] Small tweaks in CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6659 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index e06e3d66..1f194fad 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -38,10 +38,10 @@ Version 4.1 (beta released 20/12/2012) - settings file ~/.prism only read by GUI (not command-line) by default - new switch -settings to read a settings file from command-line PRISM -* New file extensions: .prism, .props +* New file extensions for model/properties files: .prism, .props * 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" ] +* New syntax for (CTMC) transient probabilities in P operator: P=? [ F=T "target" ] ----------------------------------------------------------------------------- Version 4.0.3 (released 30/1/2012)