--- 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