--- 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