diff -r 45624a38109f -r a7704d87f30a etc/settings
--- a/etc/settings	Mon Jan 06 09:31:21 2014 +0100
+++ b/etc/settings	Mon Jan 06 17:33:23 2014 +0100
@@ -5,7 +5,7 @@
 # Important notes:
 #   * See the "system" manual for explanations on Isabelle settings
 #   * DO NOT EDIT the repository copy of this file!
-#   * DO NOT COPY this file into your ~/.isabelle directory!
+#   * DO NOT COPY this file into your $ISABELLE_HOME_USER directory!
 
 ###
 ### Isabelle/Scala