README_REPOSITORY
changeset 54963 260ad8b204f5
parent 53359 ef65d5ee60cf
child 63490 9416333a17c2
     1.1 --- a/README_REPOSITORY	Thu Jan 09 20:17:15 2014 +0100
     1.2 +++ b/README_REPOSITORY	Thu Jan 09 21:11:05 2014 +0100
     1.3 @@ -1,13 +1,13 @@
     1.4  Important notes on Mercurial repository access for Isabelle
     1.5  ===========================================================
     1.6  
     1.7 -Quick start in 25min
     1.8 +Quick start in 30min
     1.9  --------------------
    1.10  
    1.11  1a. Linux and Mac OS X: ensure that Perl (with libwww) and Mercurial (hg)
    1.12      is installed (see also http://www.selenic.com/mercurial)
    1.13  
    1.14 -1b. Windows: ensure that Cygwin with Mercurial and Perl is installed (see
    1.15 +1b. Windows: ensure that Cygwin with Perl and Mercurial is installed (see
    1.16      also http://www.cygwin.com)
    1.17  
    1.18  2. Clone repository (bash shell commands):