# HG changeset patch
# User wenzelm
# Date 1616926066 -7200
# Node ID d34033a937113883f65ceedfe7b04bd91b6b2cdb
# Parent  a35b2ee3148f5e169c39c79db57c9961143a76d9
tuned message;

diff -r a35b2ee3148f -r d34033a93711 Admin/setup
--- 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
 }