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 79182 6202d0ff36b4
parent 78854 35b406a5c105
child 79569 b5d199871f2f 
--- a/src/Pure/System/isabelle_tool.scala	Wed Dec 06 18:18:56 2023 +0100
+++ b/src/Pure/System/isabelle_tool.scala	Wed Dec 06 18:28:15 2023 +0100
@@ -125,6 +125,7 @@
   Build.isabelle_tool2,
   Build.isabelle_tool3,
   Build.isabelle_tool4,
+  Build_Schedule.isabelle_tool,
   CI_Build.isabelle_tool,
   Doc.isabelle_tool,
   Docker_Build.isabelle_tool,
isabelle