# HG changeset patch
# User wenzelm
# Date 1746543836 -7200
# Node ID cf64152e9f51a667b3a8e82137563ec642dc38de
# Parent  3133f9748ea82289901367d2400013a0e9b2edee
tuned comments;

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
diff -r 3133f9748ea8 -r cf64152e9f51 src/Pure/System/platform.scala
--- a/src/Pure/System/platform.scala	Tue May 06 16:52:39 2025 +0200
+++ b/src/Pure/System/platform.scala	Tue May 06 17:03:56 2025 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/System/platform.scala
     Author:     Makarius
 
-System platform identification.
+Java platform information, based on system properties.
 */
 
 package isabelle