further clarification for Windows;
authorwenzelm
Mon Dec 10 16:27:03 2012 +0100 (2012-12-10)
changeset 50457ba9046bbb3ac
parent 50456 e732da007562
child 50462 3453285475d1
further clarification for Windows;
README_REPOSITORY
     1.1 --- a/README_REPOSITORY	Mon Dec 10 16:07:29 2012 +0100
     1.2 +++ b/README_REPOSITORY	Mon Dec 10 16:27:03 2012 +0100
     1.3 @@ -10,10 +10,10 @@
     1.4  1b. Mac OS X and Linux: ensure that Mercurial (hg) is installed; see
     1.5     also http://www.selenic.com/mercurial
     1.6  
     1.7 -2. Create file $HOME/.isabelle/etc/settings and insert the following
     1.8 +2. Create file $USER_HOME/.isabelle/etc/settings and insert the following
     1.9     line near its beginning:
    1.10  
    1.11 -    init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
    1.12 +    init_components "$USER_HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
    1.13  
    1.14  3. Execute bash shell commands as follows:
    1.15