changeset 3179 | c8263805dede |
parent 3178 | 97d2d09e61fe |
child 3184 | 4e0bbfb113d5 |
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 ###