From 936729e649aa43b0296204ae5302156de24e41af Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sun, 23 May 1999 14:23:04 +0000
Subject: tuned usage; do not append '/' to PROOFGENERAL_HOME;

---
 isar/interface | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

(limited to 'isar/interface')

diff --git a/isar/interface b/isar/interface
index e294799d..3983ef74 100644
--- a/isar/interface
+++ b/isar/interface
@@ -15,12 +15,14 @@ function usage()
   echo "Usage: $PRG [OPTIONS] [FILES ...]"
   echo
   echo "  Options are:"
-  echo "    -l NAME      logic image name (default $ISABELLE_LOGIC)"
+  echo "    -l NAME      logic image name (default \$ISABELLE_LOGIC=$ISABELLE_LOGIC)"
   echo "    -p NAME      Emacs program name (default xemacs)"
   echo "    -u BOOL      use .emacs file (default false)"
   echo "    -w BOOL      use window system (default true)"
   echo
-  echo "Starts ProofGeneral for Isabelle/Isar with LOGIC images and theory FILES."
+  echo "Starts ProofGeneral for Isabelle/Isar with proof documents FILES"
+  echo "(default Scratch.thy)."
+  echo
   exit 1
 }
 
@@ -33,7 +35,7 @@ function fail()
 
 ## process command line
 
-PG_HOME=$(cd $(dirname "$0"); cd ..; echo $PWD)
+PROOFGENERAL_HOME=$(cd $(dirname "$0"); cd ..; echo $PWD)
 
 
 # options
@@ -95,7 +97,8 @@ else
 fi
 
 
-ARGS="$ARGS -l $PG_HOME/isar/interface-setup.el -l $PG_HOME/generic/proof-site.el"
+ARGS="$ARGS -l $PROOFGENERAL_HOME/isar/interface-setup.el"
+ARGS="$ARGS -l $PROOFGENERAL_HOME/generic/proof-site.el"
 
 for FILE in "$ISABELLE_HOME/etc/proofgeneral-settings.el" \
     "$ISABELLE_HOME_USER/etc/proofgeneral-settings.el"
@@ -103,6 +106,6 @@ do
   [ -f "$FILE" ] && ARGS="$ARGS -l $FILE"
 done
 
-export PROOFGENERAL_HOME="$PG_HOME/"
+export PROOFGENERAL_HOME
 export PROOFGENERAL_LOGIC="$LOGIC"
 exec $PROGNAME $ARGS $FILES
-- 
cgit v1.2.3