CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6255 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · fc2723b0b3
1 changed files with 1 additions and 1 deletions
--- 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" ]