# HG changeset patch # User wenzelm # Date 1378464410 -7200 # Node ID 2220f0fb5581e00890e2fa159ce24a574b429bc2 # Parent 92da725a248f0405ab884b09cee6d11151a3f158 tuned; diff -r 92da725a248f -r 2220f0fb5581 lib/Tools/components --- 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." diff -r 92da725a248f -r 2220f0fb5581 src/Doc/System/Misc.thy --- a/src/Doc/System/Misc.thy Fri Sep 06 12:22:00 2013 +0200 +++ b/src/Doc/System/Misc.thy Fri Sep 06 12:46:50 2013 +0200 @@ -21,7 +21,7 @@ -I init user settings -R URL component repository (default $ISABELLE_COMPONENT_REPOSITORY) - -a all missing components + -a resolve all missing components -l list status Resolve Isabelle components via download and installation. @@ -42,7 +42,7 @@ local directories. Option @{verbatim "-a"} selects all missing components to be - installed. Explicit components may be named as command + resolved. Explicit components may be named as command line-arguments as well. Note that components are uniquely identified by their base name, while the installation takes place in the location that was specified in the attempt to initialize the