# HG changeset patch
# User wenzelm
# Date 1691354412 -7200
# Node ID ebad10ab63e184f0bfff42dab41e5fc10269983c
# Parent  1425a366fe7f42f43dd59251498f005561f58677
tuned generated README;

diff -r 1425a366fe7f -r ebad10ab63e1 src/Pure/Admin/component_polyml.scala
--- a/src/Pure/Admin/component_polyml.scala	Sun Aug 06 19:00:06 2023 +0100
+++ b/src/Pure/Admin/component_polyml.scala	Sun Aug 06 22:40:12 2023 +0200
@@ -283,10 +283,10 @@
 https://github.com/polyml/polyml/commit/""" + polyml_version + """
 
 The Isabelle repository provides an administrative tool "isabelle
-build_polyml", which can be used in the polyml component directory as
-follows.
+component_polyml", which can be used in the polyml component directory as
+follows:
 
-* Linux and macOS:
+* Linux and macOS
 
   $ isabelle component_polyml