tuned;
authorwenzelm
Thu, 09 Jan 2014 21:11:05 +0100
changeset 54963 260ad8b204f5
parent 54962 993aab23894c
child 54964 bbf2ef613b8c
tuned;
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):