tuned;
authorwenzelm
Fri Aug 17 21:16:13 2012 +0200 (2012-08-17)
changeset 48855a7d0b9e349ec
parent 48854 f7cbf24b5f41
child 48856 20ea249bac53
tuned;
README_REPOSITORY
     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