Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
README_REPOSITORY
changeset 48855 a7d0b9e349ec
parent 48854 f7cbf24b5f41
child 48986 037d32448e29 
--- 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