diff -r f7cbf24b5f41 -r a7d0b9e349ec README_REPOSITORY
--- a/README_REPOSITORY	Fri Aug 17 21:15:36 2012 +0200
+++ b/README_REPOSITORY	Fri Aug 17 21:16:13 2012 +0200
@@ -258,7 +258,7 @@
       isabelle components -a
 
   This will saturate the "$HOME/.isabelle/contrib" directory structure
-  from according to $ISABELLE_COMPONENT_REPOSITORY.
+  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