Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Fri, 17 Aug 2012 21:16:13 +0200
changeset 48855 a7d0b9e349ec
parent 48854 f7cbf24b5f41
child 48856 20ea249bac53
tuned;
README_REPOSITORY file | annotate | diff | comparison | revisions 
--- 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
isabelle