diff -r 652e202b7ddb -r be48eff459e9 lib/scripts/isa-emacs
--- 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 \