src/Pure/ML/ml_process.scala

--- a/src/Pure/ML/ml_process.scala	Sat Jun 14 14:37:34 2025 +0200
+++ b/src/Pure/ML/ml_process.scala	Sat Jun 14 17:10:18 2025 +0200
@@ -14,7 +14,8 @@
   /* settings */
 
   def ml_identifier(env: Isabelle_System.Settings = Isabelle_System.Settings()): String =
-    Isabelle_System.getenv("ML_IDENTIFIER", env = env)
+    Isabelle_System.getenv_strict("ML_SYSTEM", env = env) + "_" +
+    Isabelle_System.getenv_strict("ML_PLATFORM", env = env)
 
 
   /* heaps */