# HG changeset patch
# User wenzelm
# Date 864292841 -7200
# Node ID 8c947c178f290e9586fc0a4d610aa0c676f7c0c0
# Parent  f38eb5eb9fac43649b588bf435746d901aa898d9
tuned;

diff -r f38eb5eb9fac -r 8c947c178f29 etc/user-settings.sample
--- a/etc/user-settings.sample	Thu May 22 11:16:24 1997 +0200
+++ b/etc/user-settings.sample	Thu May 22 11:20:41 1997 +0200
@@ -30,8 +30,6 @@
 
 # Simple xterm based interface.
 #ISABELLE_INTERFACE=xterm
-#ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
 
-# GNU Emacs running Isamode.
+# Emacs running Isamode.
 #ISABELLE_INTERFACE=emacs
-#ISABELLE_INTERFACE_OPTIONS=""