src/Pure/Tools/dotnet_setup.scala

--- 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")
+}