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 72858 cb0c407fbc6e
parent 72767 f6bf65554764
child 72886 ac64b753a65f 
--- a/src/Pure/System/isabelle_tool.scala	Wed Dec 09 15:53:45 2020 +0100
+++ b/src/Pure/System/isabelle_tool.scala	Wed Dec 09 20:10:10 2020 +0100
@@ -182,6 +182,7 @@
 class Tools extends Isabelle_Scala_Tools(
   Build.isabelle_tool,
   Build_Docker.isabelle_tool,
+  Build_Job.isabelle_tool,
   Doc.isabelle_tool,
   Dump.isabelle_tool,
   Export.isabelle_tool,
isabelle