Version nums in bin examples.

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

prism/src/bin/prism.bat

@@ -5,7 +5,7 @@ rem Startup script for PRISM (Windows)
 rem PRISM home directory
 rem Default is .. so it can be run directly from the bin directory.
 rem Change ".." to the actual PRISM directory to allow it to be run from anywhere.
-rem An example would be: set PRISM_DIR=c:\Program Files\prism-3.1.1
+rem An example would be: set PRISM_DIR=c:\Program Files\prism-3.2
 rem Note: Do not put quotes ("...") around the path.
 set PRISM_DIR=..
 

prism/src/bin/xprism.bat

@@ -5,7 +5,7 @@ echo Loading PRISM...
 
 rem PRISM home directory
 rem Default is .. so it can be run directly from the bin directory.
-rem An example would be: set PRISM_DIR=c:\Program Files\prism-3.1.1
+rem An example would be: set PRISM_DIR=c:\Program Files\prism-3.2
 rem Note: Do not put quotes ("...") around the path.
 set PRISM_DIR=..