diff -r 79b5b3031c87 -r 141e5151b918 README_REPOSITORY
--- a/README_REPOSITORY	Tue Aug 11 10:58:36 2009 +0200
+++ b/README_REPOSITORY	Tue Aug 11 15:53:13 2009 +0200
@@ -208,8 +208,8 @@
     two-dimensional presentation too much.
 
 
-Building Isabelle from the repository version
----------------------------------------------
+Building a repository version of Isabelle
+-----------------------------------------
 
 Compared to a proper distribution or development snapshot, a
 repository version of Isabelle lacks textual version identifiers in