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