# HG changeset patch
# User wenzelm
# Date 1616926214 -7200
# Node ID 001097314d0926dfea5e26d173e1a5f31584ec7c
# Parent  2592a661ddc9ac4d3d29e0ba0a1d38f453086659
clarified message;

diff -r 2592a661ddc9 -r 001097314d09 Admin/setup
--- 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)."