diff -r 9fc17f9ccd6c -r 08d1724a63e4 etc/settings
--- a/etc/settings	Wed Mar 28 08:25:51 2012 +0200
+++ b/etc/settings	Wed Mar 28 11:04:39 2012 +0200
@@ -1,11 +1,11 @@
 # -*- shell-script -*- :mode=shellscript:
 #
-# Isabelle settings -- site defaults.
+# Isabelle settings -- distribution defaults.
 #
 # Important notes:
-#   * See the system manual for explanations on Isabelle settings
+#   * 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 personal isabelle directory!
+#   * DO NOT COPY this file into your ~/.isabelle directory!
 
 ###
 ### ML compiler settings (ESSENTIAL!)