--- 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: