--- a/lib/scripts/isa-emacs Tue Jan 07 09:01:18 1997 +0100
+++ b/lib/scripts/isa-emacs Tue Jan 07 09:01:52 1997 +0100
@@ -18,4 +18,15 @@
## main
-exec emacs -name "isabelle" $ISABELLE_INTERFACE_OPTIONS -l "$ISAMODE_HOME/elisp/isa-site.el" -l "$ISABELLE_HOME_USER/etc/isa-settings.el" -l "$ISAMODE_HOME/elisp/isa-start.el"
+if [ -f "$ISABELLE_HOME_USER/etc/isa-settings.el" ]; then
+ USER_SETTINGS="--load $ISABELLE_HOME_USER/etc/isa-settings.el"
+else
+ USER_SETTINGS=""
+fi
+
+exec emacs -name "isabelle" \
+ --no-init-file $ISABELLE_INTERFACE_OPTIONS \
+ --load "$ISAMODE_HOME/elisp/isa-site.el" \
+ $USER_SETTINGS \
+ --load $HOME/.emacs \
+ --funcall isabelle