tuned ASCII art;
authorwenzelm
Wed Jan 14 19:38:55 2009 +0100 (2009-01-14)
changeset 294813e8420c1124a
parent 29480 4e08ee896e81
child 29482 fe044b49e34f
child 29485 ec072307c69b
tuned ASCII art;
README_REPOSITORY
     1.1 --- a/README_REPOSITORY	Tue Jan 13 15:33:30 2009 -0800
     1.2 +++ b/README_REPOSITORY	Wed Jan 14 19:38:55 2009 +0100
     1.3 @@ -30,7 +30,7 @@
     1.4  
     1.5  
     1.6  Initial configuration
     1.7 -=====================
     1.8 +---------------------
     1.9  
    1.10  Always use Mercurial version 1.0 or later, such as 1.0.1 or 1.0.2.
    1.11  The old 0.9.x versions do not work in a multi-user environment with
    1.12 @@ -84,7 +84,7 @@
    1.13  
    1.14  
    1.15  Shared pull/push access
    1.16 -=======================
    1.17 +-----------------------
    1.18  
    1.19  The entry point http://isabelle.in.tum.de/repos/isabelle is world
    1.20  readable, both via plain web browsing and the hg client as described
    1.21 @@ -136,7 +136,7 @@
    1.22  
    1.23  
    1.24  Content discipline
    1.25 -==================
    1.26 +------------------
    1.27  
    1.28  Old-style centralized version control is occasionally compared to "a
    1.29  library where everybody scribbles into the books".  Or seen the other
    1.30 @@ -183,7 +183,7 @@
    1.31  
    1.32  
    1.33  Building Isabelle from the repository version
    1.34 -=============================================
    1.35 +---------------------------------------------
    1.36  
    1.37  Compared to a proper distribution or development snapshot, a
    1.38  repository version of Isabelle lacks textual version identifiers in