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.
lib/Tools/components
changeset 53435 2220f0fb5581
parent 53314 be1c07ec768f
child 63490 9416333a17c2 
--- a/lib/Tools/components	Fri Sep 06 12:22:00 2013 +0200
+++ b/lib/Tools/components	Fri Sep 06 12:46:50 2013 +0200
@@ -17,7 +17,7 @@
   echo "  Options are:"
   echo "    -I           init user settings"
   echo "    -R URL       component repository (default \$ISABELLE_COMPONENT_REPOSITORY)"
-  echo "    -a           all missing components"
+  echo "    -a           resolve all missing components"
   echo "    -l           list status"
   echo
   echo "  Resolve Isabelle components via download and installation."
isabelle