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 80002 ee449ca91c3b
parent 79976 c7e6a508a65b
child 80011 b082476a8036 
--- a/src/Pure/System/isabelle_tool.scala	Tue Mar 26 10:30:41 2024 +0100
+++ b/src/Pure/System/isabelle_tool.scala	Tue Mar 26 11:15:48 2024 +0100
@@ -166,6 +166,7 @@
   Build_Log.isabelle_tool,
   Build_Status.isabelle_tool,
   Check_Sources.isabelle_tool,
+  Component_Bash_Process.isabelle_tool,
   Component_CSDP.isabelle_tool,
   Component_CVC5.isabelle_tool,
   Component_Cygwin.isabelle_tool,
isabelle