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