now also loads etc/isa-settings.el;
authorwenzelm
Fri Dec 13 17:50:04 1996 +0100 (1996-12-13)
changeset 23904e183a4d9cd0
parent 2389 d472c732bc21
child 2391 de76cee7a30c
now also loads etc/isa-settings.el;
lib/scripts/isa-emacs
     1.1 --- a/lib/scripts/isa-emacs	Fri Dec 13 17:48:03 1996 +0100
     1.2 +++ b/lib/scripts/isa-emacs	Fri Dec 13 17:50:04 1996 +0100
     1.3 @@ -18,4 +18,4 @@
     1.4  
     1.5  ## main
     1.6  
     1.7 -exec emacs -name "isabelle" -l "$ISAMODE_HOME/elisp/isa-site.el" -l "$HOME/.emacs" -l "$ISAMODE_HOME/elisp/isa-start.el"
     1.8 +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"