lib/Tools/components

   echo "Usage: isabelle $PRG [OPTIONS] [COMPONENTS ...]"
   echo
   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."
   echo "  COMPONENTS are identified via base name."
   echo