diff -r d9a54c4c9da9 -r 3cc73d00553c src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Sat Nov 28 20:18:29 2020 +0100
+++ b/src/Pure/Tools/phabricator.scala	Sat Nov 28 21:56:24 2020 +0100
@@ -146,7 +146,8 @@
   /* Isabelle tool wrapper */
 
   val isabelle_tool1 =
-    Isabelle_Tool("phabricator", "invoke command-line tool within Phabricator home directory", args =>
+    Isabelle_Tool("phabricator", "invoke command-line tool within Phabricator home directory",
+      Scala_Project.here, args =>
     {
       var list = false
       var name = default_name
@@ -535,7 +536,8 @@
   /* Isabelle tool wrapper */
 
   val isabelle_tool2 =
-    Isabelle_Tool("phabricator_setup", "setup Phabricator server on Ubuntu Linux", args =>
+    Isabelle_Tool("phabricator_setup", "setup Phabricator server on Ubuntu Linux",
+      Scala_Project.here, args =>
     {
       var mercurial_source = ""
       var repo = ""
@@ -642,8 +644,8 @@
   /* Isabelle tool wrapper */
 
   val isabelle_tool3 =
-    Isabelle_Tool("phabricator_setup_mail",
-      "setup mail for one Phabricator installation", args =>
+    Isabelle_Tool("phabricator_setup_mail", "setup mail for one Phabricator installation",
+      Scala_Project.here, args =>
     {
       var test_user = ""
       var name = default_name
@@ -805,8 +807,8 @@
   /* Isabelle tool wrapper */
 
   val isabelle_tool4 =
-    Isabelle_Tool("phabricator_setup_ssh",
-      "setup ssh service for all Phabricator installations", args =>
+    Isabelle_Tool("phabricator_setup_ssh", "setup ssh service for all Phabricator installations",
+      Scala_Project.here, args =>
     {
       var server_port = default_server_port
       var system_port = default_system_port