# HG changeset patch
# User wenzelm
# Date 1667733073 -3600
# Node ID 01109e16cee836a0435636e0a87fd1d86f57ae66
# Parent  5a9de03e0fa4a964c30473f135785a0d8d2a3320
tuned output;

diff -r 5a9de03e0fa4 -r 01109e16cee8 src/Pure/Tools/dotnet_setup.scala
--- a/src/Pure/Tools/dotnet_setup.scala	Sun Nov 06 12:07:44 2022 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala	Sun Nov 06 12:11:13 2022 +0100
@@ -162,12 +162,13 @@
 
   Options are:
     -D DIR       target directory (default: """ + default_target_dir.expand + """)
-    -I URL       URL for install script without extension (default: """ + quote(default_install_url) + """)
+    -I URL       URL for install script without extension
+                 (default: """ + quote(default_install_url) + """)
     -V VERSION   version (empty means "latest", default: """ + quote(default_version) + """)
     -f           force fresh installation of specified platforms
     -n           dry run: try download without installation
-    -p PLATFORMS list of platforms as family or formal name, separated by commas
-                 (default: """ + quote(default_platform) + """)
+    -p PLATFORMS comma-separated list of platform specifications,
+                 as family or formal name (default: """ + quote(default_platform) + """)
     -v           verbose
 
   Download the Dotnet / Fsharp platform and configure it as Isabelle component.