# HG changeset patch
# User wenzelm
# Date 861006501 -7200
# Node ID abca00c27841e13b59bd994dc4215e139a6e0d1e
# Parent  3178e9a44d3cf05e54e7375034c0cd4018babf55
no longer includes ~/.emacs;

diff -r 3178e9a44d3c -r abca00c27841 lib/scripts/isa-emacs
--- 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\")"