changeset 79976 | c7e6a508a65b |
parent 79951 | 84f2d481d6d7 |
child 80002 | ee449ca91c3b |
--- a/src/Pure/System/isabelle_tool.scala Sun Mar 24 15:13:35 2024 +0100 +++ b/src/Pure/System/isabelle_tool.scala Sun Mar 24 17:49:53 2024 +0100 @@ -174,6 +174,7 @@ Component_Easychair.isabelle_tool, Component_Foiltex.isabelle_tool, Component_Fonts.isabelle_tool, + Component_Go.isabelle_tool, Component_Hugo.isabelle_tool, Component_Javamail.isabelle_tool, Component_JDK.isabelle_tool,