# HG changeset patch
# User wenzelm
# Date 1711546802 -3600
# Node ID ebd988ee1d57e82266a691dc3f466f236e49d8d6
# Parent  5c00c04f09fbef0f5376729f33326f73a3f27ebd
more robust Markdown;

diff -r 5c00c04f09fb -r ebd988ee1d57 Admin/components/README.md
--- a/Admin/components/README.md	Wed Mar 27 14:37:52 2024 +0100
+++ b/Admin/components/README.md	Wed Mar 27 14:40:02 2024 +0100
@@ -241,6 +241,6 @@
 An alternative approach, especially for components that are very large and/or
 rarely used, is to provide an Isabelle setup tool that interested users may
 run for themselves. This works particularly well for software products that
-have their own "store" of downloadable artifacts. For example, see `isabelle
-dotnet_setup` as defined in `src/Pure/Tools/dotnet_setup.scala`.
+have their own "store" of downloadable artifacts. For example, see
+`isabelle dotnet_setup` as defined in `src/Pure/Tools/dotnet_setup.scala`.