changeset 2600 | be48eff459e9 |
parent 2474 | 9990f088d7ac |
child 2939 | 73837efaf71b |
--- a/lib/scripts/isa-emacs Fri Feb 07 17:14:56 1997 +0100 +++ b/lib/scripts/isa-emacs Fri Feb 07 17:15:30 1997 +0100 @@ -25,7 +25,7 @@ fi exec emacs -name "isabelle" \ - --no-init-file $ISABELLE_INTERFACE_OPTIONS \ + --no-init-file "$@" \ --load "$ISAMODE_HOME/elisp/isa-site.el" \ $USER_SETTINGS \ --load $HOME/.emacs \