# HG changeset patch
# User wenzelm
# Date 1345230973 -7200
# Node ID a7d0b9e349eca6c976833ccac9ad04993bf4873a
# Parent  f7cbf24b5f41fec01bb1de3c49fb12d7cef05439
tuned;

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