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.
tuned message;
authorwenzelm
Sat, 27 Mar 2021 22:48:59 +0100
changeset 73497 7cdcf131699d
parent 73496 2d00ea4972d7
child 73498 f5e9ade80579
tuned message;
lib/Tools/setup file | annotate | diff | comparison | revisions 
--- a/lib/Tools/setup	Sat Mar 27 22:48:15 2021 +0100
+++ b/lib/Tools/setup	Sat Mar 27 22:48:59 2021 +0100
@@ -139,7 +139,7 @@
     "${HG:-hg}" -R "$ISABELLE_HOME" log -r "$REV"
     if [ ! -f "$ISABELLE_HOME/lib/Tools/setup" ]; then
       echo >&2 "### The isabelle setup tool has disappeared in this version"
-      echo >&2 "### (need to invoke "${HG:-hg} update" before using it again)"
+      echo >&2 "### (need to invoke \"${HG:-hg} update\" before using it again)"
     fi
   '
 fi
isabelle