README_REPOSITORY
changeset 36858 8eac822dec6c
parent 35567 309e75c58af2
child 40601 021278fdd0a8
     1.1 --- a/README_REPOSITORY	Wed May 12 13:34:24 2010 +0200
     1.2 +++ b/README_REPOSITORY	Wed May 12 13:52:34 2010 +0200
     1.3 @@ -32,11 +32,6 @@
     1.4  Initial configuration
     1.5  ---------------------
     1.6  
     1.7 -Always use Mercurial versions from the 1.0 or 1.1 branch, or later.
     1.8 -The old 0.9.x versions do not work in a multi-user environment with
     1.9 -shared file spaces!
    1.10 -
    1.11 -
    1.12  The official Isabelle repository can be cloned like this:
    1.13  
    1.14    hg clone http://isabelle.in.tum.de/repos/isabelle