README_REPOSITORY
changeset 32361 141e5151b918
parent 30182 db768c888dfa
child 35567 309e75c58af2
     1.1 --- a/README_REPOSITORY	Tue Aug 11 10:58:36 2009 +0200
     1.2 +++ b/README_REPOSITORY	Tue Aug 11 15:53:13 2009 +0200
     1.3 @@ -208,8 +208,8 @@
     1.4      two-dimensional presentation too much.
     1.5  
     1.6  
     1.7 -Building Isabelle from the repository version
     1.8 ----------------------------------------------
     1.9 +Building a repository version of Isabelle
    1.10 +-----------------------------------------
    1.11  
    1.12  Compared to a proper distribution or development snapshot, a
    1.13  repository version of Isabelle lacks textual version identifiers in