--- a/lib/scripts/isa-emacs Wed Nov 22 21:41:39 2000 +0100
+++ b/lib/scripts/isa-emacs Wed Nov 22 21:47:04 2000 +0100
@@ -9,7 +9,7 @@
## diagnostics
-PRG=$(basename "$0")
+PRG="$(basename "$0")"
function usage()
{
@@ -84,13 +84,13 @@
[ "$INITFILE" = false ] && ARGS="$ARGS -q"
-ARGS="$ARGS -l $ISAMODE_HOME/elisp/isa-site.el"
+ARGS="$ARGS -l '$ISAMODE_HOME/elisp/isa-site.el'"
for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \
"$ISABELLE_HOME_USER/etc/isa-settings.el"
do
- [ -f "$FILE" ] && ARGS="$ARGS -l $FILE"
+ [ -f "$FILE" ] && ARGS="$ARGS -l '$FILE'"
done
ARGS="$ARGS -f isabelle"
-exec $PROGNAME -T "Isabelle" $ARGS
+eval exec "$PROGNAME" -T "Isabelle" "$ARGS"