From 84f44d3cbc24218f79585b6a775ae924122a1950 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 25 Feb 2008 12:31:48 +0000 Subject: [PATCH] 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 | 2 +- prism/src/bin/xprism.bat | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/bin/prism.bat b/prism/src/bin/prism.bat index 48b771e7..b42b3eb2 100755 --- a/prism/src/bin/prism.bat +++ b/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=.. diff --git a/prism/src/bin/xprism.bat b/prism/src/bin/xprism.bat index 85a9e070..0f02778a 100755 --- a/prism/src/bin/xprism.bat +++ b/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=..