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."