README_REPOSITORY
changeset 28908 4571302e1594
parent 28907 1a470f95ef18
child 28910 5c712e46988f
     1.1 --- a/README_REPOSITORY	Sat Nov 29 17:09:28 2008 +0100
     1.2 +++ b/README_REPOSITORY	Sat Nov 29 18:19:59 2008 +0100
     1.3 @@ -116,7 +116,7 @@
     1.4    hg clone ssh://wenzelm@atbroy100//home/isabelle-repository/repos/isabelle
     1.5  
     1.6  In fact, the only difference to the previous clone of
     1.7 -http://isabelle.in.tum.de/repos/isabelle will be a different default
     1.8 +http://isabelle.in.tum.de/repos/isabelle is a different default
     1.9  pull/push path in isabelle/.hg/hgrc:
    1.10  
    1.11    [paths]
    1.12 @@ -162,7 +162,7 @@
    1.13      things have been done in a certain way at some point.
    1.14  
    1.15      Mercurial provides nice web presentation of incoming changes with
    1.16 -    a digest of log entries; this also includes Atom/RSS news feeds.
    1.17 +    a digest of log entries; this also includes RSS/Atom news feeds.
    1.18      Users should be aware that others will actually read what is
    1.19      written into log messages.
    1.20  
    1.21 @@ -174,4 +174,17 @@
    1.22      two-dimensional presentation too much.
    1.23  
    1.24  
    1.25 +Building Isabelle from the repository version
    1.26 +=============================================
    1.27 +
    1.28 +Compared to a proper distribution (or development snapshot) the a
    1.29 +repository version of Isabelle lacks proper version identifiers in
    1.30 +various places and some components produced by Admin/build.  After
    1.31 +applying that script with suitable options, the regular user
    1.32 +instructions for building and running Isabelle from sources apply.
    1.33 +
    1.34 +Needless to say, the results from the build process must not be
    1.35 +committed back into the repository!
    1.36 +
    1.37 +
    1.38  Makarius 29-Nov-2008