# HG changeset patch
# User wenzelm
# Date 1711558297 -3600
# Node ID 742e39db4d5821290d836dafba7bac86eecb644e
# Parent  a0f93621c332995496f2556062225bf761ddf055
tuned message;

diff -r a0f93621c332 -r 742e39db4d58 src/Pure/Tools/dotnet_setup.scala
--- 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