Small fix in prism2latex.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7816 bbc10eb1-c90d-0410-af57-cb519fbb1720
fixed stopping criterion for fast adaptive uniformisation when being in array mode

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7817 bbc10eb1-c90d-0410-af57-cb519fbb1720
improved description of FAU in commandline and GUI

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7827 bbc10eb1-c90d-0410-af57-cb519fbb1720
small bug fix for extremely large right truncation points from Fox-Glynn in the FAU method 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7857 bbc10eb1-c90d-0410-af57-cb519fbb1720
changing permissions, to fix cygwin 64bit compilation

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8005 bbc10eb1-c90d-0410-af57-cb519fbb1720
fix for fau

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8025 bbc10eb1-c90d-0410-af57-cb519fbb1720
changed output se

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8026 bbc10eb1-c90d-0410-af57-cb519fbb1720
Add buildMCRewardsFromPrismExplicit method (untested).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8071 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bug fix: pre-strategy generation check done before model construction.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8072 bbc10eb1-c90d-0410-af57-cb519fbb1720
Output tweak: extra new line.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8073 bbc10eb1-c90d-0410-af57-cb519fbb1720
Code tidy + new methods in PrismFileLog.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8074 bbc10eb1-c90d-0410-af57-cb519fbb1720
Tidy up of export-to-Dot functionality, plus new "dot" option for exporting strategy (explicit engine only, currently).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8110 bbc10eb1-c90d-0410-af57-cb519fbb1720
Make sure that some PrismFileLogs are close()ed after use - spotted as a bug by Bruno.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8168 bbc10eb1-c90d-0410-af57-cb519fbb1720
NaN values in rewards cause an error (explicit engine only so far).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8188 bbc10eb1-c90d-0410-af57-cb519fbb1720
Fixed bugs in output of vectors when showing states but no indices.

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

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8211 bbc10eb1-c90d-0410-af57-cb519fbb1720
Fix version for 4.2

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8212 bbc10eb1-c90d-0410-af57-cb519fbb1720
Fix version for 4.2.beta1

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

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

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