# HG changeset patch
# User blanchet
# Date 1355153900 -3600
# Node ID 3453285475d1d48731c45515088443804e9f395d
# Parent  dc160c718f38ee521697c1405d480e767ebdf58d# Parent  ba9046bbb3ac5215f85ab2481d413a089cbe159d
merge

diff -r dc160c718f38 -r 3453285475d1 README_REPOSITORY
--- a/README_REPOSITORY	Mon Dec 10 16:26:23 2012 +0100
+++ b/README_REPOSITORY	Mon Dec 10 16:38:20 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: