Admin/init
changeset 73772 d3f2038198ae
parent 73770 ae5fa3ca41b9
child 73840 1d4c9fa00821
--- 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)."