# HG changeset patch
# User wenzelm
# Date 1355150360 -3600
# Node ID 262dc5873f80d7e2e499915048eae13913ef854f
# Parent  bfb5964e3041a71f9ab2bfbdc21af43decddab0e
some clarification for Windows;

diff -r bfb5964e3041 -r 262dc5873f80 README_REPOSITORY
--- a/README_REPOSITORY	Mon Dec 10 15:17:47 2012 +0100
+++ b/README_REPOSITORY	Mon Dec 10 15:39:20 2012 +0100
@@ -1,18 +1,21 @@
 Important notes on Mercurial repository access for Isabelle
 ===========================================================
 
-Quick start in 20min
+Quick start in 25min
 --------------------
 
-1. Ensure that "hg" (Mercurial) is installed; see also
-   http://www.selenic.com/mercurial
+1a. Windows: ensure that Cygwin with Mercurial and Perl is installed;
+   see also http://www.cygwin.com/
+
+1b. Mac OS X and Linux: ensure that Mercurial (hg) is installed; see
+   also http://www.selenic.com/mercurial
 
 2. Create file $HOME/.isabelle/etc/settings and insert the following
    line near its beginning:
 
     init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
 
-3. Execute shell commands as follows:
+3. Execute bash shell commands as follows:
 
     hg clone http://isabelle.in.tum.de/repos/isabelle