README_REPOSITORY
changeset 50653 5c85f8b80b95
parent 50617 9df2f825422b
child 50654 3356ff213339
     1.1 --- a/README_REPOSITORY	Mon Dec 31 14:58:21 2012 +0100
     1.2 +++ b/README_REPOSITORY	Mon Dec 31 15:56:17 2012 +0100
     1.3 @@ -4,28 +4,25 @@
     1.4  Quick start in 25min
     1.5  --------------------
     1.6  
     1.7 -1a. Windows: ensure that Cygwin with Mercurial and Perl is installed;
     1.8 -   see also http://www.cygwin.com/
     1.9 -
    1.10 -1b. Mac OS X and Linux: ensure that Mercurial (hg) is installed; see
    1.11 +1a. Linux and Mac OS X: ensure that Mercurial (hg) is installed; see
    1.12     also http://www.selenic.com/mercurial
    1.13  
    1.14 -2. Create file $HOME/.isabelle/etc/settings and insert the following
    1.15 -   line near its beginning:
    1.16 +1b. Windows: ensure that Cygwin with Mercurial and Perl is installed;
    1.17 +   see also http://www.cygwin.com/
    1.18  
    1.19 -    init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
    1.20 -
    1.21 -3. Execute bash shell commands as follows:
    1.22 +2. Clone repository (bash shell commands):
    1.23  
    1.24      hg clone http://isabelle.in.tum.de/repos/isabelle
    1.25  
    1.26      cd isabelle
    1.27  
    1.28 +    ./bin/isabelle components -I
    1.29 +
    1.30      ./bin/isabelle components -a
    1.31  
    1.32      ./bin/isabelle jedit -l HOL
    1.33  
    1.34 -4. To stay up-to-date later on, pull changes like this:
    1.35 +3. Update repository (bash shell commands):
    1.36  
    1.37      cd isabelle
    1.38