src/Pure/Tools/dotnet_setup.scala

--- a/src/Pure/Tools/dotnet_setup.scala	Tue Jan 24 20:43:55 2023 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala	Tue Jan 24 20:48:28 2023 +0100
@@ -50,7 +50,7 @@
         self.ISABELLE_PLATFORM64))
   }
 
-  def default_target_dir: Path = Path.explode("$ISABELLE_COMPONENTS_BASE")
+  def default_target_dir: Path = Components.default_components_base
   def default_install_url: String = "https://dot.net/v1/dotnet-install"
   def default_version: String = "6.0.402"