--- a/src/Pure/Tools/dotnet_setup.scala Wed Mar 27 17:39:46 2024 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala Wed Mar 27 17:51:37 2024 +0100
@@ -150,8 +150,8 @@
-D DIR target directory (default: """ + default_target_dir.expand + """)
-I URL URL for install script without extension
(default: """ + quote(default_install_url) + """)
- -V VERSION version (empty means "latest",
- default: ISABELLE_DOTNET_VERSION=""" + quote(default_version) + """)
+ -V VERSION version: empty means "latest"
+ (default: ISABELLE_DOTNET_VERSION=""" + quote(default_version) + """)
-f force fresh installation of specified platforms
-n dry run: try download without installation
-p PLATFORMS comma-separated list of platform specifications: "all" or