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 message;
authorwenzelm
Sun, 28 Mar 2021 12:10:14 +0200
changeset 73508 001097314d09
parent 73507 2592a661ddc9
child 73509 5d750df8e894
clarified message;
Admin/setup file | annotate | diff | comparison | revisions 
--- a/Admin/setup	Sun Mar 28 12:08:43 2021 +0200
+++ b/Admin/setup	Sun Mar 28 12:10:14 2021 +0200
@@ -28,7 +28,7 @@
   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 tip of Isabelle repository server"
+  echo "    -u           version is tip (after pull from 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)."
isabelle