# HG changeset patch
# User wenzelm
# Date 1348053585 -7200
# Node ID 75633efcc70da4edac3bd4309b47a97daaf720c0
# Parent  98960e2fadd7d3ad0732b133f5d4a5906cc6f1c1
tuned;

diff -r 98960e2fadd7 -r 75633efcc70d README_REPOSITORY
--- 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: