diff -r 9c34a1768178 -r a28d9192d31e src/Pure/System/isabelle_tool.scala
--- a/src/Pure/System/isabelle_tool.scala	Sun Aug 10 12:27:39 2025 +0200
+++ b/src/Pure/System/isabelle_tool.scala	Sun Aug 10 15:17:13 2025 +0200
@@ -150,6 +150,7 @@
   Phabricator.isabelle_tool2,
   Phabricator.isabelle_tool3,
   Phabricator.isabelle_tool4,
+  Process_Theories.isabelle_tool,
   Profiling.isabelle_tool,
   Profiling_Report.isabelle_tool,
   Scala_Project.isabelle_tool,