diff -r 97692af929a4 -r 9460f1f45405 lib/Tools/setup
--- a/lib/Tools/setup	Sat Mar 27 20:37:49 2021 +0100
+++ b/lib/Tools/setup	Sat Mar 27 20:39:14 2021 +0100
@@ -93,7 +93,7 @@
   export LANG=C
   export HGPLAIN=
 
-  if "${HG:-hg}" id -r "$REV" >/dev/null 2>/dev/null
+  if "${HG:-hg}" -R "$ISABELLE_HOME" id -r "$REV" >/dev/null 2>/dev/null
   then
     PULL=""
   else
@@ -107,10 +107,10 @@
   exec bash -c '
     set -e
     if [ -n "$PULL" ]; then
-      "${HG:-hg}" pull -r "$REV"
+      "${HG:-hg}" -R "$ISABELLE_HOME" pull -r "$REV"
     fi
-    "${HG:-hg}" update -r "$REV" $CLEAN
+    "${HG:-hg}" -R "$ISABELLE_HOME" update -r "$REV" $CLEAN
     isabelle components -a
-    "${HG:-hg}" log -r "$REV"
+    "${HG:-hg}" -R "$ISABELLE_HOME" log -r "$REV"
   '
 fi