etc/settings
changeset 2969 4c8d60b01ef9
parent 2968 8ba30b031f31
child 3009 38c0b6dbd24f
--- 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