--- a/README_REPOSITORY Tue Jan 13 15:33:30 2009 -0800
+++ b/README_REPOSITORY Wed Jan 14 19:38:55 2009 +0100
@@ -30,7 +30,7 @@
Initial configuration
-=====================
+---------------------
Always use Mercurial version 1.0 or later, such as 1.0.1 or 1.0.2.
The old 0.9.x versions do not work in a multi-user environment with
@@ -84,7 +84,7 @@
Shared pull/push access
-=======================
+-----------------------
The entry point http://isabelle.in.tum.de/repos/isabelle is world
readable, both via plain web browsing and the hg client as described
@@ -136,7 +136,7 @@
Content discipline
-==================
+------------------
Old-style centralized version control is occasionally compared to "a
library where everybody scribbles into the books". Or seen the other
@@ -183,7 +183,7 @@
Building Isabelle from the repository version
-=============================================
+---------------------------------------------
Compared to a proper distribution or development snapshot, a
repository version of Isabelle lacks textual version identifiers in