author | wenzelm |
Wed, 14 May 1997 14:33:53 +0200 | |
changeset 3179 | c8263805dede |
parent 3178 | 97d2d09e61fe |
child 3180 | 3fff6839c616 |
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 ###