Admin/setup
changeset 73761 d34033a93711
parent 73760 a35b2ee3148f
child 73762 2592a661ddc9
--- a/Admin/setup	Sun Mar 28 12:02:20 2021 +0200
+++ b/Admin/setup	Sun Mar 28 12:07:46 2021 +0200
@@ -28,10 +28,11 @@
   echo "    -f           fresh build of Isabelle/Scala/jEdit"
   echo "    -n           no build of Isabelle/Scala/jEdit"
   echo "    -r REV       version according to Mercurial notation"
-  echo "    -u           version is remote tip"
+  echo "    -u           version is tip of Isabelle repository server"
   echo
   echo "  Setup the current ISABELLE_HOME directory, which needs to be a"
   echo "  repository clone (all versions) or repository archive (fixed version)."
+  echo "  Download required components and build Isabelle/Scala/jEdit (default)."
   echo
   exit 1
 }