# 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