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