Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_tool.scala
changeset 80886 5d562dd387ae
parent 80883 7631de7518fc
child 81607 f48597f265ff 
--- 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,
isabelle