README_REPOSITORY
changeset 49443 75633efcc70d
parent 49348 01d2d01bf9d1
child 50281 cbba16084784
     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: