etc/settings
changeset 2969 4c8d60b01ef9
parent 2968 8ba30b031f31
child 3009 38c0b6dbd24f
     1.1 --- a/etc/settings	Thu Apr 17 10:30:57 1997 +0200
     1.2 +++ b/etc/settings	Thu Apr 17 10:40:26 1997 +0200
     1.3 @@ -98,4 +98,4 @@
     1.4  # GNU Emacs running Isamode.
     1.5  #ISABELLE_INTERFACE=emacs
     1.6  #ISABELLE_INTERFACE_OPTIONS=""
     1.7 -#ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
     1.8 +ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode