1.1 --- a/lib/Tools/components Fri Sep 06 12:22:00 2013 +0200
1.2 +++ b/lib/Tools/components Fri Sep 06 12:46:50 2013 +0200
1.3 @@ -17,7 +17,7 @@
1.4 echo " Options are:"
1.5 echo " -I init user settings"
1.6 echo " -R URL component repository (default \$ISABELLE_COMPONENT_REPOSITORY)"
1.7 - echo " -a all missing components"
1.8 + echo " -a resolve all missing components"
1.9 echo " -l list status"
1.10 echo
1.11 echo " Resolve Isabelle components via download and installation."
2.1 --- a/src/Doc/System/Misc.thy Fri Sep 06 12:22:00 2013 +0200
2.2 +++ b/src/Doc/System/Misc.thy Fri Sep 06 12:46:50 2013 +0200
2.3 @@ -21,7 +21,7 @@
2.4 -I init user settings
2.5 -R URL component repository
2.6 (default $ISABELLE_COMPONENT_REPOSITORY)
2.7 - -a all missing components
2.8 + -a resolve all missing components
2.9 -l list status
2.10
2.11 Resolve Isabelle components via download and installation.
2.12 @@ -42,7 +42,7 @@
2.13 local directories.
2.14
2.15 Option @{verbatim "-a"} selects all missing components to be
2.16 - installed. Explicit components may be named as command
2.17 + resolved. Explicit components may be named as command
2.18 line-arguments as well. Note that components are uniquely
2.19 identified by their base name, while the installation takes place in
2.20 the location that was specified in the attempt to initialize the