changeset 3289 | 8c947c178f29 |
parent 3184 | 4e0bbfb113d5 |
child 3749 | 8a8ed98bd2ca |
--- 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=""