diff -r 3133f9748ea8 -r cf64152e9f51 src/Pure/System/isabelle_platform.scala
--- a/src/Pure/System/isabelle_platform.scala	Tue May 06 16:52:39 2025 +0200
+++ b/src/Pure/System/isabelle_platform.scala	Tue May 06 17:03:56 2025 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/System/isabelle_platform.scala
     Author:     Makarius
 
-General hardware and operating system type for Isabelle system tools.
+Isabelle/Scala platform information, based on settings environment.
 */
 
 package isabelle