# HG changeset patch
# User wenzelm
# Date 1389026003 -3600
# Node ID a7704d87f30ad08d979ca15b34ddb7832d31c2c0
# Parent  45624a38109f436930235652f3558cb4b39dbab3
tuned comments;

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