more Setup_Tool services;

--- a/etc/build.props	Wed Mar 27 13:19:21 2024 +0100
+++ b/etc/build.props	Wed Mar 27 13:23:15 2024 +0100
@@ -333,7 +333,9 @@
   isabelle.Document_Build$LIPIcs_PDFLaTeX_Engine \
   isabelle.Document_Build$LuaLaTeX_Engine \
   isabelle.Document_Build$PDFLaTeX_Engine \
+  isabelle.Dotnet_Setup \
   isabelle.CI_Builds \
+  isabelle.Go_Setup \
   isabelle.GHC_Setup \
   isabelle.ML_Statistics$Handler \
   isabelle.OCaml_Setup \

--- a/src/Pure/Tools/dotnet_setup.scala	Wed Mar 27 13:19:21 2024 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala	Wed Mar 27 13:23:15 2024 +0100
@@ -183,3 +183,7 @@
           version = version, force = force, dry_run = dry_run, progress = progress)
       })
 }
+
+class Dotnet_Setup extends Setup_Tool("dotnet_setup", "ISABELLE_DOTNET_SETUP") {
+  override val test_file: Path = Path.explode("lib/Tools/dotnet")
+}

--- a/src/Pure/Tools/go_setup.scala	Wed Mar 27 13:19:21 2024 +0100
+++ b/src/Pure/Tools/go_setup.scala	Wed Mar 27 13:23:15 2024 +0100
@@ -170,3 +170,7 @@
           target_dir = target_dir, progress = progress, force = force)
       })
 }
+
+class Go_Setup extends Setup_Tool("go_setup", "ISABELLE_GO_SETUP") {
+  override val test_file: Path = Path.explode("lib/Tools/go")
+}