# HG changeset patch
# User wenzelm
# Date 858093446 -3600
# Node ID 27a17c8460212713c5db04d55d440f4e528e49a5
# Parent  a78655c814b0ef83488c84ce25412ad1aec256e4
tuned;

diff -r a78655c814b0 -r 27a17c846021 etc/user-settings.sample
--- 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=""