diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 24ffacdf..63bf6983 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -2,6 +2,7 @@ This file contains details of the changes in each new version of PRISM. New since last release: +* Some new '-help xxx' switches * New -exportmodel and -importmodel convenience switches * Allow command-line switches of form --sw (as well as -sw) * Parametric model checking