author | wenzelm |
Fri, 07 Feb 1997 17:15:30 +0100 | |
changeset 2600 | be48eff459e9 |
parent 2599 | 652e202b7ddb |
child 2601 | b301958c465d |
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 \