| changeset 2390 | 4e183a4d9cd0 |
| parent 2344 | c3e1eaea4418 |
| child 2474 | 9990f088d7ac |
--- 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"