Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
now also loads etc/isa-settings.el;
authorwenzelm
Fri, 13 Dec 1996 17:50:04 +0100
changeset 2390 4e183a4d9cd0
parent 2389 d472c732bc21
child 2391 de76cee7a30c
now also loads etc/isa-settings.el;
lib/scripts/isa-emacs file | annotate | diff | comparison | revisions 
--- 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"
isabelle