tuned comment;
authorwenzelm
Wed May 14 14:33:53 1997 +0200 (1997-05-14)
changeset 3179c8263805dede
parent 3178 97d2d09e61fe
child 3180 3fff6839c616
tuned comment;
etc/user-settings.sample
     1.1 --- a/etc/user-settings.sample	Wed May 14 11:54:16 1997 +0200
     1.2 +++ b/etc/user-settings.sample	Wed May 14 14:33:53 1997 +0200
     1.3 @@ -1,7 +1,8 @@
     1.4  #
     1.5  # $Id$
     1.6  #
     1.7 -# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings.
     1.8 +# Isabelle user settings sample (everything commented out)
     1.9 +#   -- some parts may be copied into ~/isabelle/etc/settings.
    1.10  #
    1.11  
    1.12  ###