README_REPOSITORY
changeset 50453 262dc5873f80
parent 50281 cbba16084784
child 50457 ba9046bbb3ac
     1.1 --- a/README_REPOSITORY	Mon Dec 10 15:17:47 2012 +0100
     1.2 +++ b/README_REPOSITORY	Mon Dec 10 15:39:20 2012 +0100
     1.3 @@ -1,18 +1,21 @@
     1.4  Important notes on Mercurial repository access for Isabelle
     1.5  ===========================================================
     1.6  
     1.7 -Quick start in 20min
     1.8 +Quick start in 25min
     1.9  --------------------
    1.10  
    1.11 -1. Ensure that "hg" (Mercurial) is installed; see also
    1.12 -   http://www.selenic.com/mercurial
    1.13 +1a. Windows: ensure that Cygwin with Mercurial and Perl is installed;
    1.14 +   see also http://www.cygwin.com/
    1.15 +
    1.16 +1b. Mac OS X and Linux: ensure that Mercurial (hg) is installed; see
    1.17 +   also http://www.selenic.com/mercurial
    1.18  
    1.19  2. Create file $HOME/.isabelle/etc/settings and insert the following
    1.20     line near its beginning:
    1.21  
    1.22      init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
    1.23  
    1.24 -3. Execute shell commands as follows:
    1.25 +3. Execute bash shell commands as follows:
    1.26  
    1.27      hg clone http://isabelle.in.tum.de/repos/isabelle
    1.28