README_REPOSITORY

 hooked on the main repository is called to keep an eye on incoming
 changes.  In any case, changesets need to be understandable, at the
 time of writing and many years later.
 
 Push access to the Isabelle repository requires an account at TUM,
-with properly configured ssh to the local machines (e.g. lxbroy10).
-You also need to be a member of the "isabelle" Unix group.
+with properly configured ssh to isabelle-server.in.tum.de.  You also
+need to be a member of the "isabelle" Unix group.
 
 Sharing a locally modified clone then works as follows, using your
 user name instead of "wenzelm":
 
-  hg out ssh://wenzelm@lxbroy10//home/isabelle-repository/repos/isabelle
+  hg out ssh://[e-mail]//home/isabelle-repository/repos/isabelle
 
 In fact, the "out" or "outgoing" command performs only a dry run: it
 displays the changesets that would get published.  An actual "push",
 with a lasting effect on the Isabelle repository, works like this:
 
-  hg push ssh://wenzelm@lxbroy10//home/isabelle-repository/repos/isabelle
+  hg push ssh://[e-mail]//home/isabelle-repository/repos/isabelle
 
 
 Default paths for push and pull can be configured in
 isabelle/.hg/hgrc, for example:
 
   [paths]
-  default = ssh://wenzelm@lxbroy10//home/isabelle-repository/repos/isabelle
+  default = ssh://[e-mail]//home/isabelle-repository/repos/isabelle
 
 Now "hg pull" or "hg push" will use that shared file space, unless a
 different URL is specified explicitly.
 
 When cloning a repository, the default path is set to the initial
 source URL.  So we could have cloned via that ssh URL in the first
 place, to get exactly to the same point:
 
-  hg clone ssh://wenzelm@lxbroy10//home/isabelle-repository/repos/isabelle
+  hg clone ssh://[e-mail]//home/isabelle-repository/repos/isabelle
 
 
 Simple merges
 -------------