diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-05-23 14:23:04 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-05-23 14:23:04 +0000 |
| commit | 936729e649aa43b0296204ae5302156de24e41af (patch) | |
| tree | 618f7da5e4b3a63ccc2aef730a36e2f64a5215b6 /isar/interface | |
| parent | 8be06efe6d63e5ac5b713fc38208a01e55fa7a6c (diff) | |
tuned usage;
do not append '/' to PROOFGENERAL_HOME;
Diffstat (limited to 'isar/interface')
| -rw-r--r-- | isar/interface | 13 |
1 files changed, 8 insertions, 5 deletions
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 |