Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/components
changeset 73308 f73c691bd679
parent 73172 fc828f64da5b
child 73402 7eecb5231f61 
--- a/lib/Tools/components	Fri Feb 26 11:46:58 2021 +0100
+++ b/lib/Tools/components	Sat Feb 27 11:51:39 2021 +0100
@@ -19,8 +19,8 @@
   echo "    -R URL       component repository (default \$ISABELLE_COMPONENT_REPOSITORY)"
   echo "    -a           resolve all missing components"
   echo "    -l           list status"
-  echo "    -u DIR       update \$ISABELLE_HOME_USER/components: add directory"
-  echo "    -x DIR       update \$ISABELLE_HOME_USER/components: remove directory"
+  echo "    -u DIR       update \$ISABELLE_HOME_USER/etc/components: add directory"
+  echo "    -x DIR       update \$ISABELLE_HOME_USER/etc/components: remove directory"
   echo
   echo "  Resolve Isabelle components via download and installation: given COMPONENTS"
   echo "  are identified via base name. Further operations manage etc/settings and"
isabelle