--- a/src/Pure/Tools/dotnet_setup.scala Mon May 05 17:04:14 2025 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala Tue May 06 16:52:39 2025 +0200
@@ -36,7 +36,7 @@
/* dotnet download and setup */
def default_platform: String =
- Isabelle_Platform.self.ISABELLE_PLATFORM(windows = true, apple = true)
+ Isabelle_Platform.local.ISABELLE_PLATFORM(windows = true, apple = true)
def default_target_dir: Path = Components.default_components_base
def default_install_url: String = "https://dot.net/v1/dotnet-install"
def default_version: String = Isabelle_System.getenv_strict("ISABELLE_DOTNET_VERSION")