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.
no longer includes ~/.emacs;
authorwenzelm
Mon, 14 Apr 1997 10:28:21 +0200
changeset 2947 abca00c27841
parent 2946 3178e9a44d3c
child 2948 f18035b1d531
no longer includes ~/.emacs;
lib/scripts/isa-emacs file | annotate | diff | comparison | revisions 
--- a/lib/scripts/isa-emacs	Sun Apr 13 19:16:25 1997 +0200
+++ b/lib/scripts/isa-emacs	Mon Apr 14 10:28:21 1997 +0200
@@ -79,7 +79,7 @@
   echo "(setq isa-manual-path \"$DOC\")"
   echo
 
-  for FILE in ~/.emacs "$ISABELLE_HOME/etc/isa-settings.el" \
+  for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \
     "$ISABELLE_HOME_USER/etc/isa-settings.el"
   do
     [ -f "$FILE" ] && echo "(load \"$FILE\")"
isabelle