# HG changeset patch
# User wenzelm
# Date 1667686115 -3600
# Node ID 66a827cf863eb8e83a173bf9ac4cc0692b41de70
# Parent  0869eacad31087c82d1f58892468a66f2d61f11d
tuned message, example is in NEWS;

diff -r 0869eacad310 -r 66a827cf863e src/Pure/Tools/dotnet_setup.scala
--- a/src/Pure/Tools/dotnet_setup.scala	Sat Nov 05 22:59:38 2022 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala	Sat Nov 05 23:08:35 2022 +0100
@@ -166,10 +166,6 @@
   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),