# HG changeset patch
# User wenzelm
# Date 850495804 -3600
# Node ID 4e183a4d9cd0172b95eec5f23e54a26d871db54d
# Parent  d472c732bc21ffe0f5f98c24da3928faaf6c5e23
now also loads etc/isa-settings.el;

diff -r d472c732bc21 -r 4e183a4d9cd0 lib/scripts/isa-emacs
--- a/lib/scripts/isa-emacs	Fri Dec 13 17:48:03 1996 +0100
+++ b/lib/scripts/isa-emacs	Fri Dec 13 17:50:04 1996 +0100
@@ -18,4 +18,4 @@
 
 ## main
 
-exec emacs -name "isabelle" -l "$ISAMODE_HOME/elisp/isa-site.el" -l "$HOME/.emacs" -l "$ISAMODE_HOME/elisp/isa-start.el"
+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"