removed ISABELLE_INTERFACE_OPTIONS;
authorwenzelm
Fri Feb 07 17:15:30 1997 +0100 (1997-02-07)
changeset 2600be48eff459e9
parent 2599 652e202b7ddb
child 2601 b301958c465d
removed ISABELLE_INTERFACE_OPTIONS;
lib/scripts/isa-emacs
     1.1 --- a/lib/scripts/isa-emacs	Fri Feb 07 17:14:56 1997 +0100
     1.2 +++ b/lib/scripts/isa-emacs	Fri Feb 07 17:15:30 1997 +0100
     1.3 @@ -25,7 +25,7 @@
     1.4  fi
     1.5  
     1.6  exec emacs -name "isabelle" \
     1.7 -  --no-init-file $ISABELLE_INTERFACE_OPTIONS \
     1.8 +  --no-init-file "$@" \
     1.9    --load "$ISAMODE_HOME/elisp/isa-site.el" \
    1.10    $USER_SETTINGS \
    1.11    --load $HOME/.emacs \