tuned;
authorwenzelm
Wed Sep 19 13:19:45 2012 +0200 (2012-09-19)
changeset 4944375633efcc70d
parent 49442 98960e2fadd7
child 49444 fad4724230ce
tuned;
README_REPOSITORY
     1.1 --- a/README_REPOSITORY	Wed Sep 19 12:11:09 2012 +0200
     1.2 +++ b/README_REPOSITORY	Wed Sep 19 13:19:45 2012 +0200
     1.3 @@ -4,7 +4,8 @@
     1.4  Quick start in 20min
     1.5  --------------------
     1.6  
     1.7 -1. Install Mercurial http://www.selenic.com/mercurial
     1.8 +1. Ensure that "hg" (Mercurial) is installed; see also
     1.9 +   http://www.selenic.com/mercurial
    1.10  
    1.11  2. Create file $HOME/.isabelle/etc/settings and insert the following
    1.12     line near its beginning: