--- 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