# HG changeset patch
# User wenzelm
# Date 1231958335 -3600
# Node ID 3e8420c1124a485be0a1da2a629f815941998249
# Parent  4e08ee896e81816d259469a0cdf4f00defdbce62
tuned ASCII art;

diff -r 4e08ee896e81 -r 3e8420c1124a README_REPOSITORY
--- 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