README_REPOSITORY
changeset 50453 262dc5873f80
parent 50281 cbba16084784
child 50457 ba9046bbb3ac
equal deleted inserted replaced
50452:bfb5964e3041 50453:262dc5873f80
     1 Important notes on Mercurial repository access for Isabelle
     1 Important notes on Mercurial repository access for Isabelle
     2 ===========================================================
     2 ===========================================================
     3 
     3 
     4 Quick start in 20min
     4 Quick start in 25min
     5 --------------------
     5 --------------------
     6 
     6 
     7 1. Ensure that "hg" (Mercurial) is installed; see also
     7 1a. Windows: ensure that Cygwin with Mercurial and Perl is installed;
     8    http://www.selenic.com/mercurial
     8    see also http://www.cygwin.com/
       
     9 
       
    10 1b. Mac OS X and Linux: ensure that Mercurial (hg) is installed; see
       
    11    also http://www.selenic.com/mercurial
     9 
    12 
    10 2. Create file $HOME/.isabelle/etc/settings and insert the following
    13 2. Create file $HOME/.isabelle/etc/settings and insert the following
    11    line near its beginning:
    14    line near its beginning:
    12 
    15 
    13     init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
    16     init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
    14 
    17 
    15 3. Execute shell commands as follows:
    18 3. Execute bash shell commands as follows:
    16 
    19 
    17     hg clone http://isabelle.in.tum.de/repos/isabelle
    20     hg clone http://isabelle.in.tum.de/repos/isabelle
    18 
    21 
    19     ./isabelle/bin/isabelle components -a
    22     ./isabelle/bin/isabelle components -a
    20 
    23