changeset 71312 | 937328d61436 |
parent 71109 | 8c1c717a830b |
child 71378 | 820cf124dced |
--- a/src/Pure/System/isabelle_tool.scala Wed Dec 18 18:59:16 2019 +0100 +++ b/src/Pure/System/isabelle_tool.scala Wed Dec 18 20:15:26 2019 +0100 @@ -149,6 +149,7 @@ Dump.isabelle_tool, Export.isabelle_tool, ML_Process.isabelle_tool, + Mercurial.isabelle_tool, Mkroot.isabelle_tool, Options.isabelle_tool, Phabricator.isabelle_tool1,