Typo fixed.
1.1 --- a/README_REPOSITORY Fri Aug 17 19:11:51 2012 +0200
1.2 +++ b/README_REPOSITORY Fri Aug 17 20:31:12 2012 +0200
1.3 @@ -244,7 +244,7 @@
1.4 Here is a reasonably easy way to include important Isabelle components
1.5 on the spot:
1.6
1.7 - (1) The bash script ISABELLE_HOME_USER/etc/settings is augmented by
1.8 + (1) The bash script $ISABELLE_HOME_USER/etc/settings is augmented by
1.9 some shell function invocations like this:
1.10
1.11 init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
1.12 @@ -258,7 +258,7 @@
1.13 isabelle components -a
1.14
1.15 This will saturate the "$HOME/.isabelle/contrib" directory structure
1.16 - from according to $ISABELLE_COMPONENT_REPOSITORY.
1.17 + from $ISABELLE_COMPONENT_REPOSITORY.
1.18
1.19 Since the given component catalogs in $ISABELLE_HOME/Admin/components
1.20 are subject to the Mercurial history, it is possible to bisect over a