README_REPOSITORY

 further clues.
 
 Here is a reasonably easy way to include important Isabelle components
 on the spot:
 
-  (1) The bash script $ISABELLE_HOME_USER/etc/settings is augmented by
+  (1) The bash script ISABELLE_HOME_USER/etc/settings is augmented by
   some shell function invocations like this:
 
       init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
       init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/optional"
 

   (2) Missing components are resolved on the command line like this:
 
       isabelle components -a
 
   This will saturate the "$HOME/.isabelle/contrib" directory structure
-  from $ISABELLE_COMPONENT_REPOSITORY.
+  from according to $ISABELLE_COMPONENT_REPOSITORY.
 
 Since the given component catalogs in $ISABELLE_HOME/Admin/components
 are subject to the Mercurial history, it is possible to bisect over a
 range of Isabelle versions while references to the contributing
 components change accordingly.