From abcaa2ed636f45d0d63a0ae76955389a5f3e4fa2 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 8 Feb 2008 09:19:22 +0000 Subject: [PATCH] README. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@557 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/README.txt | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/prism/README.txt b/prism/README.txt index 6738ebbf..148d9a8c 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -21,15 +21,18 @@ Very abbreviated instructions for installing/running PRISM are as follows: For Windows binary distributions: - - there is no installation; just double-click bin/xprism.bat + - to install, run prism-XXX-win-installer.exe + - to run, use Desktop/Start menu shortcuts or double-click bin\xprism.bat For other binary distributions: - - enter the PRISM directory, type "./install.sh" and then execute bin/xprism or bin/prism + - to install, enter the PRISM directory, type "./install.sh" + - to run, execute bin/xprism or bin/prism For source code distributions: - - enter the PRISM directory, type "make", then "./install.sh" and then execute bin/xprism or bin/prism + - enter the PRISM directory and type "make" + - to run, execute bin/xprism or bin/prism If you have problems check the manual, especially the section "Common Problems And Questions".