changeset 48497 ba61aceaa18a
parent 47449 5e1482296b12
child 48844 6408fb6f7d81
--- a/README_REPOSITORY	Wed Jul 25 11:59:22 2012 +0200
+++ b/README_REPOSITORY	Wed Jul 25 12:38:54 2012 +0200
@@ -233,14 +233,28 @@
 Building a repository version of Isabelle
-Compared to a proper distribution or development snapshot, it is
-relatively hard to build from the raw repository version.  Essential
-contributing components are missing and need to be reconstructed by
-running the Admin/build script by hand.  Afterwards the main Isabelle
-system and logic images can be compiled via the toplevel ./build
-script.  Note that the repository lacks some textual version
-identifiers in the sources and scripts; this implies some changed
-behavior when processing settings etc.
+A proper Isabelle distribution contains many add-on components that
+are important for practical use.  Some extra configuration is required
+to approximate this system integration from a bare-bones repository
+snapshot; see also its directory Admin/ (which is absent in official
+  (1) Admin/components lists potentially relevant components, with
+    explicit version information for the given repository version.
+    For example, this allows to bisect over Mercurial history while
+    the contributing components change accordingly.
-There is no guarantee that the NEWS file is up to date at an arbitrary
-point in history.
\ No newline at end of file
+  (2) Admin/init_components is a bash script that can be sourced in
+    $ISABELLE_HOME_USER/etc/settings to initialize components listed
+    in Admin/components and present in $ISABELLE_HOME_USER/contrib/.
+  (3) provides tar.gz archives
+    of many components, excluding some non-free ones (which are also
+    not part of Isabelle releases).
+Also note that the repository lacks some textual version identifiers
+in the sources and scripts; this implies some changed behavior when
+processing settings etc. -- especially the location of
+$ISABELLE_HOME_USER provided by the system.
+The isabelle build tool allows to build logic images.