Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified message;
authorwenzelm
Sat, 27 Feb 2021 11:51:39 +0100
changeset 73308 f73c691bd679
parent 73307 c8e317a4c905
child 73309 606ae85b8c6b
clarified message;
lib/Tools/components file | annotate | diff | comparison | revisions 
--- 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