diff -r 89db5eedecab -r 8ba30b031f31 etc/user-settings.sample
--- a/etc/user-settings.sample	Wed Apr 16 18:53:36 1997 +0200
+++ b/etc/user-settings.sample	Thu Apr 17 10:30:57 1997 +0200
@@ -15,7 +15,6 @@
 ### Heap files
 ###
 
-# Note: ML system and platform info is appended automatically!
 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
 
 #DEFAULT_LOGIC=ZF
@@ -28,3 +27,8 @@
 # Simple xterm based interface.
 #ISABELLE_INTERFACE=xterm
 #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
+
+# GNU Emacs running Isamode.
+#ISABELLE_INTERFACE=emacs
+#ISABELLE_INTERFACE_OPTIONS=""
+#ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode