README_REPOSITORY
changeset 36858 8eac822dec6c
parent 35567 309e75c58af2
child 40601 021278fdd0a8
equal deleted inserted replaced
36857:59ed53700145 36858:8eac822dec6c
    30 
    30 
    31 
    31 
    32 Initial configuration
    32 Initial configuration
    33 ---------------------
    33 ---------------------
    34 
    34 
    35 Always use Mercurial versions from the 1.0 or 1.1 branch, or later.
       
    36 The old 0.9.x versions do not work in a multi-user environment with
       
    37 shared file spaces!
       
    38 
       
    39 
       
    40 The official Isabelle repository can be cloned like this:
    35 The official Isabelle repository can be cloned like this:
    41 
    36 
    42   hg clone http://isabelle.in.tum.de/repos/isabelle
    37   hg clone http://isabelle.in.tum.de/repos/isabelle
    43 
    38 
    44 This will create a local directory "isabelle", unless an alternative
    39 This will create a local directory "isabelle", unless an alternative