Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
README_REPOSITORY
changeset 36875 d7085f0ec087
parent 36858 8eac822dec6c
child 40601 021278fdd0a8 
--- a/README_REPOSITORY	Wed May 12 15:31:43 2010 +0200
+++ b/README_REPOSITORY	Wed May 12 17:10:53 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
isabelle