# HG changeset patch
# User wenzelm
# Date 863613233 -7200
# Node ID c8263805dedeaaefc0fa10d1ab2b1f99b2acdc1c
# Parent  97d2d09e61fe09081d4bc3bcba4bb2bf4b558e94
tuned comment;

diff -r 97d2d09e61fe -r c8263805dede etc/user-settings.sample
--- 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.
 #
 
 ###