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 75474 d16dd2d1b50a
parent 75394 42267c650205
child 75481 029cd4e1a2c7 
--- a/src/Pure/System/isabelle_tool.scala	Sun May 29 13:06:30 2022 +0200
+++ b/src/Pure/System/isabelle_tool.scala	Sun May 29 13:13:45 2022 +0200
@@ -182,7 +182,8 @@
   Dump.isabelle_tool,
   Export.isabelle_tool,
   ML_Process.isabelle_tool,
-  Mercurial.isabelle_tool,
+  Mercurial.isabelle_tool1,
+  Mercurial.isabelle_tool2,
   Mkroot.isabelle_tool,
   Logo.isabelle_tool,
   Options.isabelle_tool,
isabelle