# HG changeset patch
# User wenzelm
# Date 1355153223 -3600
# Node ID ba9046bbb3ac5215f85ab2481d413a089cbe159d
# Parent  e732da007562b2b950fb44f967cd91930285c90c
further clarification for Windows;

diff -r e732da007562 -r ba9046bbb3ac README_REPOSITORY
--- a/README_REPOSITORY	Mon Dec 10 16:07:29 2012 +0100
+++ b/README_REPOSITORY	Mon Dec 10 16:27:03 2012 +0100
@@ -10,10 +10,10 @@
 1b. Mac OS X and Linux: ensure that Mercurial (hg) is installed; see
    also http://www.selenic.com/mercurial
 
-2. Create file $HOME/.isabelle/etc/settings and insert the following
+2. Create file $USER_HOME/.isabelle/etc/settings and insert the following
    line near its beginning:
 
-    init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
+    init_components "$USER_HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
 
 3. Execute bash shell commands as follows: