tuned;
authorwenzelm
Sat Nov 29 19:01:28 2008 +0100 (2008-11-29)
changeset 289105c712e46988f
parent 28909 40d87c73120d
child 28911 88193464e443
tuned;
README_REPOSITORY
     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