tuned comments;

--- a/src/Pure/Admin/component_polyml.scala	Wed Apr 09 22:45:04 2025 +0200
+++ b/src/Pure/Admin/component_polyml.scala	Thu Apr 10 13:09:53 2025 +0200
@@ -10,7 +10,7 @@
 
 
 object Component_PolyML {
-  /** platform-specific build **/
+  /** platform information **/
 
   sealed case class Platform_Info(
     options: List[String] = Nil,
@@ -56,6 +56,10 @@
     }
   }
 
+
+
+  /** build stages **/
+
   def make_polyml(
     platform_context: Platform_Context,
     root: Path,