src/Pure/Tools/dotnet_setup.scala

   Download the Dotnet / Fsharp platform and configure it as Isabelle component.
 
   See also:
     https://fsharp.org
     https://learn.microsoft.com/en-us/dotnet/core/tools/dotnet-install-script
-
-  Example:
-    isabelle dotnet_setup
-    isabelle dotnet fsi
 """,
           "D:" -> (arg => target_dir = Path.explode(arg)),
           "I:" -> (arg => install_url = arg),
           "V:" -> (arg => version = arg),
           "n" -> (_ => dry_run = true),