| changeset 3179 | c8263805dede |
| parent 3178 | 97d2d09e61fe |
| child 3184 | 4e0bbfb113d5 |
--- a/etc/user-settings.sample Wed May 14 11:54:16 1997 +0200 +++ b/etc/user-settings.sample Wed May 14 14:33:53 1997 +0200 @@ -1,7 +1,8 @@ # # $Id$ # -# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings. +# Isabelle user settings sample (everything commented out) +# -- some parts may be copied into ~/isabelle/etc/settings. # ###