changeset 79951 | 84f2d481d6d7 |
parent 79624 | 8e97d1fcbbc2 |
child 79976 | c7e6a508a65b |
--- a/src/Pure/System/isabelle_tool.scala Thu Mar 21 12:47:51 2024 +0100 +++ b/src/Pure/System/isabelle_tool.scala Thu Mar 21 14:19:05 2024 +0100 @@ -182,6 +182,7 @@ Component_LIPIcs.isabelle_tool, Component_LLNCS.isabelle_tool, Component_Minisat.isabelle_tool, + Component_MLton.isabelle_tool, Component_PDFjs.isabelle_tool, Component_PolyML.isabelle_tool1, Component_PolyML.isabelle_tool2,