Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified (again): local tip could be actually more recent;
authorwenzelm
Wed, 31 Mar 2021 11:24:46 +0200
changeset 73517 d3f2038198ae
parent 73516 ef5440f4fcc4
child 73518 c42144d9dde6
child 73526 a3cc9fa1295d
clarified (again): local tip could be actually more recent;
Admin/init file | annotate | diff | comparison | revisions 
--- 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)."
isabelle