diff -r 59ed53700145 -r 8eac822dec6c README_REPOSITORY
--- a/README_REPOSITORY	Wed May 12 13:34:24 2010 +0200
+++ b/README_REPOSITORY	Wed May 12 13:52:34 2010 +0200
@@ -32,11 +32,6 @@
 Initial configuration
 ---------------------
 
-Always use Mercurial versions from the 1.0 or 1.1 branch, or later.
-The old 0.9.x versions do not work in a multi-user environment with
-shared file spaces!
-
-
 The official Isabelle repository can be cloned like this:
 
   hg clone http://isabelle.in.tum.de/repos/isabelle