tuned;

--- a/etc/user-settings.sample	Tue Mar 11 16:17:01 1997 +0100
+++ b/etc/user-settings.sample	Tue Mar 11 16:17:26 1997 +0100
@@ -27,10 +27,6 @@
 ### Interfaces
 ###
 
-# XTerm
+# Simple xterm based interface.
 #ISABELLE_INTERFACE=xterm
 #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
-
-# GNU Emacs running Isamode.
-#ISABELLE_INTERFACE=emacs
-#ISABELLE_INTERFACE_OPTIONS=""