etc/settings

--- a/etc/settings	Fri Dec 20 10:54:01 1996 +0100
+++ b/etc/settings	Fri Dec 20 16:10:30 1996 +0100
@@ -76,7 +76,7 @@
 
 # Xterm with symbol font.
 ISABELLE_INTERFACE=xterm
-ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
+ISABELLE_INTERFACE_OPTIONS="-geometry 80x60"
 ISABELLE_SYMBOLS=true
 
 # GNU Emacs running Isamode.