diff -r 89db5eedecab -r 8ba30b031f31 etc/settings
--- a/etc/settings	Wed Apr 16 18:53:36 1997 +0200
+++ b/etc/settings	Thu Apr 17 10:30:57 1997 +0200
@@ -46,7 +46,7 @@
 
 
 ###
-### Misc path settings etc.
+### Misc path settings
 ###
 
 # The place for user configuration, heap files, etc.
@@ -56,15 +56,14 @@
 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
 
 
-# Heap file input and output locations.  Note that ML system and
-# platform info is appended automatically.
+# Heap file locations.
 
-ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
+ISABELLE_PATH=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM:$ISABELLE_HOME/heaps/$ML_SYSTEM
 
 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
+  ISABELLE_OUTPUT_DIR=$ISABELLE_HOME/heaps/$ML_SYSTEM
 else
-  ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
+  ISABELLE_OUTPUT_DIR=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM
 fi
 
 DEFAULT_LOGIC=HOL
@@ -95,3 +94,8 @@
 # Simple xterm based interface.
 ISABELLE_INTERFACE=xterm
 ISABELLE_INTERFACE_OPTIONS=""
+
+# GNU Emacs running Isamode.
+#ISABELLE_INTERFACE=emacs
+#ISABELLE_INTERFACE_OPTIONS=""
+#ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode