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)