README_REPOSITORY
changeset 48855 a7d0b9e349ec
parent 48854 f7cbf24b5f41
child 48986 037d32448e29
     1.1 --- a/README_REPOSITORY	Fri Aug 17 21:15:36 2012 +0200
     1.2 +++ b/README_REPOSITORY	Fri Aug 17 21:16:13 2012 +0200
     1.3 @@ -258,7 +258,7 @@
     1.4        isabelle components -a
     1.5  
     1.6    This will saturate the "$HOME/.isabelle/contrib" directory structure
     1.7 -  from according to $ISABELLE_COMPONENT_REPOSITORY.
     1.8 +  according to $ISABELLE_COMPONENT_REPOSITORY.
     1.9  
    1.10  Since the given component catalogs in $ISABELLE_HOME/Admin/components
    1.11  are subject to the Mercurial history, it is possible to bisect over a