README_REPOSITORY
changeset 48854 f7cbf24b5f41
parent 48853 ec82c33c75f8
child 48855 a7d0b9e349ec
     1.1 --- a/README_REPOSITORY	Fri Aug 17 20:31:12 2012 +0200
     1.2 +++ b/README_REPOSITORY	Fri Aug 17 21:15:36 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 $ISABELLE_COMPONENT_REPOSITORY.
    1.17 +  from according to $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