1.1 --- a/README_REPOSITORY	Sat Nov 29 18:26:53 2008 +0100
     1.2 +++ b/README_REPOSITORY	Sat Nov 29 19:01:28 2008 +0100
     1.3 @@ -177,9 +177,9 @@
     1.4  Building Isabelle from the repository version
     1.5  =============================================
     1.6  
     1.7 -Compared to a proper distribution (or development snapshot) the a
     1.8 +Compared to a proper distribution or development snapshot, a
     1.9  repository version of Isabelle lacks proper version identifiers in
    1.10 -various places and some components produced by Admin/build.  After
    1.11 +various places, and some components produced by Admin/build.  After
    1.12  applying that script with suitable options, the regular user
    1.13  instructions for building and running Isabelle from sources apply.
    1.14