# HG changeset patch
# User wenzelm
# Date 855332130 -3600
# Node ID be48eff459e97512fe6ede1fe4a9acab876f16f7
# Parent  652e202b7ddb805af64332e6223aadba60edef4f
removed ISABELLE_INTERFACE_OPTIONS;

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 \