changeset 28908 4571302e1594
parent 28907 1a470f95ef18
child 28910 5c712e46988f
--- 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
- will be a different default
+ is a different default
 pull/push path in isabelle/.hg/hgrc:
@@ -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