README_REPOSITORY
changeset 50575 ae1da46022d1
parent 50457 ba9046bbb3ac
child 50617 9df2f825422b
     1.1 --- a/README_REPOSITORY	Mon Dec 17 11:07:20 2012 +0100
     1.2 +++ b/README_REPOSITORY	Mon Dec 17 14:07:34 2012 +0100
     1.3 @@ -10,27 +10,31 @@
     1.4  1b. Mac OS X and Linux: ensure that Mercurial (hg) is installed; see
     1.5     also http://www.selenic.com/mercurial
     1.6  
     1.7 -2. Create file $USER_HOME/.isabelle/etc/settings and insert the following
     1.8 +2. Create file $HOME/.isabelle/etc/settings and insert the following
     1.9     line near its beginning:
    1.10  
    1.11 -    init_components "$USER_HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
    1.12 +    init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
    1.13  
    1.14  3. Execute bash shell commands as follows:
    1.15  
    1.16      hg clone http://isabelle.in.tum.de/repos/isabelle
    1.17  
    1.18 -    ./isabelle/bin/isabelle components -a
    1.19 +    cd isabelle
    1.20  
    1.21 -    ./isabelle/bin/isabelle build -b HOL
    1.22 +    ./bin/isabelle components -a
    1.23  
    1.24 -    ./isabelle/bin/isabelle jedit
    1.25 +    ./bin/isabelle jedit -l HOL
    1.26  
    1.27 -4. For later update replace "hg clone ..." above by:
    1.28 +4. To stay up-to-date later on, pull changes like this:
    1.29  
    1.30      cd isabelle
    1.31  
    1.32      hg pull -u
    1.33  
    1.34 +    ./bin/isabelle components -a
    1.35 +
    1.36 +    ./bin/isabelle jedit -l HOL
    1.37 +
    1.38  
    1.39  Introduction
    1.40  ------------
    1.41 @@ -303,7 +307,12 @@
    1.42  
    1.43  The Isabelle build process is managed as follows:
    1.44  
    1.45 -  * regular "isabelle build" to build session images, e.g. HOL;
    1.46 +  * regular "isabelle build" to build session images, for example:
    1.47 +
    1.48 +      isabelle build -b HOL
    1.49  
    1.50    * administrative "isabelle build_doc" to populate the doc/
    1.51 -    directory, such that "isabelle doc" will find the results.
    1.52 +    directory, such that "isabelle doc" will find the results, for example:
    1.53 +
    1.54 +      isabelle build_doc IsarRef
    1.55 +