# HG changeset patch
# User wenzelm
# Date 861266426 -7200
# Node ID 4c8d60b01ef9e56e5593cf1a4520ff7af62e8a93
# Parent  8ba30b031f3181d42e53f5593f8755d46fff7fc9
fixed ISAMODE_HOME;

diff -r 8ba30b031f31 -r 4c8d60b01ef9 etc/settings
--- a/etc/settings	Thu Apr 17 10:30:57 1997 +0200
+++ b/etc/settings	Thu Apr 17 10:40:26 1997 +0200
@@ -98,4 +98,4 @@
 # GNU Emacs running Isamode.
 #ISABELLE_INTERFACE=emacs
 #ISABELLE_INTERFACE_OPTIONS=""
-#ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
+ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode