etc/user-settings.sample

--- a/etc/user-settings.sample	Tue Oct 04 14:51:51 2011 +0200
+++ b/etc/user-settings.sample	Sun Oct 09 15:46:06 2011 +0200
@@ -1,6 +1,6 @@
 # -*- shell-script -*- :mode=shellscript:
 #
-# Isabelle user settings sample -- for use in ~/.isabelle/etc/settings
+# Isabelle user settings sample -- for use in $ISABELLE_HOME_USER/etc/settings
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
 ISABELLE_LOGIC=HOL