instructions for quick start in 20min;
authorwenzelm
Thu Sep 13 16:10:20 2012 +0200 (2012-09-13)
changeset 4934801d2d01bf9d1
parent 49347 d4768cb77a69
child 49349 be27a453aacc
instructions for quick start in 20min;
README_REPOSITORY
     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