changeset 49443 | 75633efcc70d |
parent 49348 | 01d2d01bf9d1 |
child 50281 | cbba16084784 |
--- a/README_REPOSITORY Wed Sep 19 12:11:09 2012 +0200 +++ b/README_REPOSITORY Wed Sep 19 13:19:45 2012 +0200 @@ -4,7 +4,8 @@ Quick start in 20min -------------------- -1. Install Mercurial http://www.selenic.com/mercurial +1. Ensure that "hg" (Mercurial) is installed; see also + http://www.selenic.com/mercurial 2. Create file $HOME/.isabelle/etc/settings and insert the following line near its beginning: