Admin/setup
changeset 73763 001097314d09
parent 73762 2592a661ddc9
--- a/Admin/setup	Sun Mar 28 12:08:43 2021 +0200
+++ b/Admin/setup	Sun Mar 28 12:10:14 2021 +0200
@@ -28,7 +28,7 @@
   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 tip of Isabelle repository server"
+  echo "    -u           version is tip (after pull from 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)."