changeset 2598 | c49dfe47675e |
parent 2577 | eec6bdf53809 |
child 2685 | 8b3a214125f7 |
--- a/etc/settings Fri Feb 07 14:15:35 1997 +0100 +++ b/etc/settings Fri Feb 07 17:14:33 1997 +0100 @@ -80,13 +80,11 @@ #ISABELLE_INTERFACE=none #ISABELLE_INTERFACE_OPTIONS="" -# Xterm with symbol font. +# XTerm ISABELLE_INTERFACE=xterm -ISABELLE_INTERFACE_OPTIONS="-geometry 80x60" -ISABELLE_SYMBOLS=true +ISABELLE_INTERFACE_OPTIONS="" # GNU Emacs running Isamode. #ISABELLE_INTERFACE=emacs #ISABELLE_INTERFACE_OPTIONS="" -#ISABELLE_SYMBOLS=true ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode