# HG changeset patch
# User wenzelm
# Date 1617182686 -7200
# Node ID d3f2038198aeffaa8b1465da569e1fe7d6180536
# Parent  ef5440f4fcc44cb878a1b4d1d759b31754169075
clarified (again): local tip could be actually more recent;

diff -r ef5440f4fcc4 -r d3f2038198ae Admin/init
--- a/Admin/init	Wed Mar 31 11:21:08 2021 +0200
+++ b/Admin/init	Wed Mar 31 11:24:46 2021 +0200
@@ -30,7 +30,7 @@
   echo "    -f           fresh build of Isabelle/Scala/jEdit"
   echo "    -n           no build of Isabelle/Scala/jEdit"
   echo "    -r REV       version in Mercurial notation (changeset id or tag)"
-  echo "    -u           version is tip of Isabelle repository server"
+  echo "    -u           version is latest tip from repository server or local clone"
   echo
   echo "  Initialize the current ISABELLE_HOME directory, which needs to be a"
   echo "  repository clone (all versions) or repository archive (fixed version)."