# 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