1.1 --- a/etc/settings	Wed Apr 16 18:53:36 1997 +0200
     1.2 +++ b/etc/settings	Thu Apr 17 10:30:57 1997 +0200
     1.3 @@ -46,7 +46,7 @@
     1.4  
     1.5  
     1.6  ###
     1.7 -### Misc path settings etc.
     1.8 +### Misc path settings
     1.9  ###
    1.10  
    1.11  # The place for user configuration, heap files, etc.
    1.12 @@ -56,15 +56,14 @@
    1.13  ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
    1.14  
    1.15  
    1.16 -# Heap file input and output locations.  Note that ML system and
    1.17 -# platform info is appended automatically.
    1.18 +# Heap file locations.
    1.19  
    1.20 -ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    1.21 +ISABELLE_PATH=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM:$ISABELLE_HOME/heaps/$ML_SYSTEM
    1.22  
    1.23  if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    1.24 -  ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
    1.25 +  ISABELLE_OUTPUT_DIR=$ISABELLE_HOME/heaps/$ML_SYSTEM
    1.26  else
    1.27 -  ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    1.28 +  ISABELLE_OUTPUT_DIR=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM
    1.29  fi
    1.30  
    1.31  DEFAULT_LOGIC=HOL
    1.32 @@ -95,3 +94,8 @@
    1.33  # Simple xterm based interface.
    1.34  ISABELLE_INTERFACE=xterm
    1.35  ISABELLE_INTERFACE_OPTIONS=""
    1.36 +
    1.37 +# GNU Emacs running Isamode.
    1.38 +#ISABELLE_INTERFACE=emacs
    1.39 +#ISABELLE_INTERFACE_OPTIONS=""
    1.40 +#ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode