Minor code tidy in PrismCL.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6814 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bugfix: verbose mode displaying of vectors was not working in explicit engine.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6816 bbc10eb1-c90d-0410-af57-cb519fbb1720
Make error_message vars static in sparse/hybrid/mtbdd engines - reportedly causes crashes otherwise (fix from Gaston Ingaramo).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6817 bbc10eb1-c90d-0410-af57-cb519fbb1720
Typos (fix from Gaston Ingaramo).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6818 bbc10eb1-c90d-0410-af57-cb519fbb1720
Allow command-line switches of form --sw (as well as -sw).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6823 bbc10eb1-c90d-0410-af57-cb519fbb1720
Add new -exportmodel switch.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6824 bbc10eb1-c90d-0410-af57-cb519fbb1720
Add new -importmodel switch.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6825 bbc10eb1-c90d-0410-af57-cb519fbb1720
CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6826 bbc10eb1-c90d-0410-af57-cb519fbb1720
Auto-switch to spatrse engine when asked to generate adversraries.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6827 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bugfix: missing type checking in properties: P/S/R operators were allowed to contain arbitrary types.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6828 bbc10eb1-c90d-0410-af57-cb519fbb1720
A few -help message tweaks, and some new '-help xxx' switches (currently just for const and exportresults).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6829 bbc10eb1-c90d-0410-af57-cb519fbb1720
CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6830 bbc10eb1-c90d-0410-af57-cb519fbb1720
Tweak -help.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6832 bbc10eb1-c90d-0410-af57-cb519fbb1720
Additional -help xxx messages.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6833 bbc10eb1-c90d-0410-af57-cb519fbb1720
Tweak to message output when exporting labels.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6834 bbc10eb1-c90d-0410-af57-cb519fbb1720
Revised notation for -exportmodel and -importmodel (following discussions with Hubert).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6835 bbc10eb1-c90d-0410-af57-cb519fbb1720
Document -exportmodel and -import model in -help.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6836 bbc10eb1-c90d-0410-af57-cb519fbb1720
CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6837 bbc10eb1-c90d-0410-af57-cb519fbb1720
Change -exportresults to use notation <file[:<options>] not <file[,<options>]> by default.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6838 bbc10eb1-c90d-0410-af57-cb519fbb1720
Import auto-tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6840 bbc10eb1-c90d-0410-af57-cb519fbb1720