--- a/README_REPOSITORY Sat Nov 29 17:09:28 2008 +0100
+++ b/README_REPOSITORY Sat Nov 29 18:19:59 2008 +0100
@@ -116,7 +116,7 @@
hg clone ssh://wenzelm@atbroy100//home/isabelle-repository/repos/isabelle
In fact, the only difference to the previous clone of
-http://isabelle.in.tum.de/repos/isabelle will be a different default
+http://isabelle.in.tum.de/repos/isabelle is a different default
pull/push path in isabelle/.hg/hgrc:
[paths]
@@ -162,7 +162,7 @@
things have been done in a certain way at some point.
Mercurial provides nice web presentation of incoming changes with
- a digest of log entries; this also includes Atom/RSS news feeds.
+ a digest of log entries; this also includes RSS/Atom news feeds.
Users should be aware that others will actually read what is
written into log messages.
@@ -174,4 +174,17 @@
two-dimensional presentation too much.
+Building Isabelle from the repository version
+=============================================
+
+Compared to a proper distribution (or development snapshot) the a
+repository version of Isabelle lacks proper version identifiers in
+various places and some components produced by Admin/build. After
+applying that script with suitable options, the regular user
+instructions for building and running Isabelle from sources apply.
+
+Needless to say, the results from the build process must not be
+committed back into the repository!
+
+
Makarius 29-Nov-2008