# HG changeset patch
# User wenzelm
# Date 1332925479 -7200
# Node ID 08d1724a63e4ec73aeda4a95ad1b28e765ed46e3
# Parent  9fc17f9ccd6c0ad96306e100c55317ad35eb82b8
updated comments;

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!)