changeset 3289 | 8c947c178f29 |
parent 3184 | 4e0bbfb113d5 |
child 3749 | 8a8ed98bd2ca |
1.1 --- a/etc/user-settings.sample Thu May 22 11:16:24 1997 +0200 1.2 +++ b/etc/user-settings.sample Thu May 22 11:20:41 1997 +0200 1.3 @@ -30,8 +30,6 @@ 1.4 1.5 # Simple xterm based interface. 1.6 #ISABELLE_INTERFACE=xterm 1.7 -#ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false" 1.8 1.9 -# GNU Emacs running Isamode. 1.10 +# Emacs running Isamode. 1.11 #ISABELLE_INTERFACE=emacs 1.12 -#ISABELLE_INTERFACE_OPTIONS=""