misc tuning;
Fri, 13 Apr 2012 12:09:25 +0200
changeset 47449 5e1482296b12
parent 47448 cd3d987e8e79
child 47453 598604c91036
misc tuning; atbroy100 no longer available (?);
--- a/README_REPOSITORY	Fri Apr 13 09:17:01 2012 +0200
+++ b/README_REPOSITORY	Fri Apr 13 12:09:25 2012 +0200
@@ -32,10 +32,9 @@
 Mercurial provides nice web presentation of incoming changes with a
 digest of log entries; this also includes RSS/Atom news feeds.  There
-are add-on browsers, notably hgtk that is part of the TortoiseHg
-distribution and works for generic Python/GTk platforms.  The
-alternative "view" utility helps to inspect the semantic content of
-merge nodes.
+are add-on history browsers such as "hg view" and TortoiseHg.  Unlike
+the default web view, some of these tools help to inspect the semantic
+content of non-trivial merge nodes.
 Initial configuration
@@ -107,27 +106,27 @@
 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. macbroy20,
-atbroy100).  You also need to be a member of the "isabelle" Unix
+with properly configured ssh to the local machines (e.g. macbroy20 ..
+macbroy29).  You also need to be a member of the "isabelle" Unix
 Sharing a locally modified clone then works as follows, using your
 user name instead of "wenzelm":
-  hg out ssh://wenzelm@atbroy100//home/isabelle-repository/repos/isabelle
+  hg out ssh://wenzelm@macbroy20//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@atbroy100//home/isabelle-repository/repos/isabelle
+  hg push ssh://wenzelm@macbroy20//home/isabelle-repository/repos/isabelle
 Default paths for push and pull can be configured in
 isabelle/.hg/hgrc, for example:
-  default = ssh://wenzelm@atbroy100//home/isabelle-repository/repos/isabelle
+  default = ssh://wenzelm@macbroy20//home/isabelle-repository/repos/isabelle
 Now "hg pull" or "hg push" will use that shared file space, unless a
 different URL is specified explicitly.
@@ -136,7 +135,7 @@
 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@atbroy100//home/isabelle-repository/repos/isabelle
+  hg clone ssh://wenzelm@macbroy20//home/isabelle-repository/repos/isabelle
 Simple merges