README_REPOSITORY
changeset 49348 01d2d01bf9d1
parent 48986 037d32448e29
child 49443 75633efcc70d
     1.1 --- a/README_REPOSITORY	Thu Sep 13 16:09:35 2012 +0200
     1.2 +++ b/README_REPOSITORY	Thu Sep 13 16:10:20 2012 +0200
     1.3 @@ -1,6 +1,27 @@
     1.4  Important notes on Mercurial repository access for Isabelle
     1.5  ===========================================================
     1.6  
     1.7 +Quick start in 20min
     1.8 +--------------------
     1.9 +
    1.10 +1. Install Mercurial http://www.selenic.com/mercurial
    1.11 +
    1.12 +2. Create file $HOME/.isabelle/etc/settings and insert the following
    1.13 +   line near its beginning:
    1.14 +
    1.15 +    init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
    1.16 +
    1.17 +3. Execute shell commands as follows:
    1.18 +
    1.19 +    hg clone http://isabelle.in.tum.de/repos/isabelle
    1.20 +
    1.21 +    ./isabelle/bin/isabelle components -a
    1.22 +
    1.23 +    ./isabelle/bin/isabelle build -b HOL
    1.24 +
    1.25 +    ./isabelle/bin/isabelle jedit
    1.26 +
    1.27 +
    1.28  Introduction
    1.29  ------------
    1.30