changeset 73399 | 48569c862eb8 |
parent 73369 | ffdb22a155b4 |
child 73476 | 6b480efe1bc3 |
--- a/src/Pure/System/isabelle_tool.scala Tue Mar 09 11:50:21 2021 +0100 +++ b/src/Pure/System/isabelle_tool.scala Tue Mar 09 17:15:21 2021 +0100 @@ -192,6 +192,7 @@ ML_Process.isabelle_tool, Mercurial.isabelle_tool, Mkroot.isabelle_tool, + Logo.isabelle_tool, Options.isabelle_tool, Phabricator.isabelle_tool1, Phabricator.isabelle_tool2,