tuned;
authorwenzelm
Thu May 22 11:20:41 1997 +0200 (1997-05-22)
changeset 32898c947c178f29
parent 3288 f38eb5eb9fac
child 3290 285516734f07
tuned;
etc/user-settings.sample
     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=""