From 9411d5f1009b67f9d51a0bd06b95285901197d62 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 30 May 2012 14:53:47 +0000 Subject: [PATCH] Typo in CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5295 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 60111107..2cf329c4 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -32,7 +32,7 @@ Version 4.0.3 (released 30/1/2012) - export in matrix form, e.g. for surface plots - export in CSV (rather than tab-separated) form - expanded switch: -exportresults file[,opt1,opt2,...] with options: matrix,csv -* Automatically engine switching if numerical computation not supported +* Automatic engine switching if numerical computation not supported * Optimised Rabin automata for a few common LTL formulae * Added -pf as a command-line switch alias for -pctl/-csl * Add .props as a properties file extension (in GUI)