diff -r 42ab8c52067e -r 5d562dd387ae src/Pure/System/isabelle_tool.scala
--- a/src/Pure/System/isabelle_tool.scala	Mon Sep 16 15:39:35 2024 +0200
+++ b/src/Pure/System/isabelle_tool.scala	Mon Sep 16 15:49:36 2024 +0200
@@ -168,6 +168,7 @@
   Build_Doc.isabelle_tool,
   Build_Log.isabelle_tool,
   Build_Status.isabelle_tool,
+  Check_Keywords.isabelle_tool,
   Check_Sources.isabelle_tool,
   Component_Bash_Process.isabelle_tool,
   Component_CSDP.isabelle_tool,