--- a/src/Pure/System/isabelle_tool.scala Tue Mar 26 20:23:13 2024 +0100
+++ b/src/Pure/System/isabelle_tool.scala Tue Mar 26 20:39:06 2024 +0100
@@ -135,6 +135,7 @@
Dotnet_Setup.isabelle_tool,
Dump.isabelle_tool,
Export.isabelle_tool,
+ Go_Setup.isabelle_tool,
Logo.isabelle_tool,
ML_Process.isabelle_tool,
Mercurial.isabelle_tool1,
@@ -175,7 +176,6 @@
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,