Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Tue, 06 May 2025 17:03:56 +0200
changeset 82611 cf64152e9f51
parent 82610 3133f9748ea8
child 82612 2757f73abda7
tuned comments;
src/Pure/System/isabelle_platform.scala file | annotate | diff | comparison | revisions
src/Pure/System/platform.scala file | annotate | diff | comparison | revisions 
--- 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
--- 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
isabelle