clarified (again): local tip could be actually more recent;
authorwenzelm
Wed, 31 Mar 2021 11:24:46 +0200
changeset 73772 d3f2038198ae
parent 73771 ef5440f4fcc4
child 73773 a3cc9fa1295d
child 73774 c42144d9dde6
clarified (again): local tip could be actually more recent;
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)."