# HG changeset patch
# User wenzelm
# Date 1389298265 -3600
# Node ID 260ad8b204f5cfa3b197ba272ed1ea91ae12cc60
# Parent  993aab23894cca9fed118a8b7effbab7e9ff0874
tuned;

diff -r 993aab23894c -r 260ad8b204f5 README_REPOSITORY
--- a/README_REPOSITORY	Thu Jan 09 20:17:15 2014 +0100
+++ b/README_REPOSITORY	Thu Jan 09 21:11:05 2014 +0100
@@ -1,13 +1,13 @@
 Important notes on Mercurial repository access for Isabelle
 ===========================================================
 
-Quick start in 25min
+Quick start in 30min
 --------------------
 
 1a. Linux and Mac OS X: ensure that Perl (with libwww) and Mercurial (hg)
     is installed (see also http://www.selenic.com/mercurial)
 
-1b. Windows: ensure that Cygwin with Mercurial and Perl is installed (see
+1b. Windows: ensure that Cygwin with Perl and Mercurial is installed (see
     also http://www.cygwin.com)
 
 2. Clone repository (bash shell commands):