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