README_REPOSITORY

     Since some display styles strip newlines from text, it is
     advisable to separate lines via punctuation, and not rely on
     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
 some sources and scripts, and various components produced by
 Admin/build are missing.  After applying that script with suitable