1.1 --- a/etc/user-settings.sample	Wed Apr 16 18:53:36 1997 +0200
     1.2 +++ b/etc/user-settings.sample	Thu Apr 17 10:30:57 1997 +0200
     1.3 @@ -15,7 +15,6 @@
     1.4  ### Heap files
     1.5  ###
     1.6  
     1.7 -# Note: ML system and platform info is appended automatically!
     1.8  #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
     1.9  
    1.10  #DEFAULT_LOGIC=ZF
    1.11 @@ -28,3 +27,8 @@
    1.12  # Simple xterm based interface.
    1.13  #ISABELLE_INTERFACE=xterm
    1.14  #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
    1.15 +
    1.16 +# GNU Emacs running Isamode.
    1.17 +#ISABELLE_INTERFACE=emacs
    1.18 +#ISABELLE_INTERFACE_OPTIONS=""
    1.19 +#ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode