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.
more robust;
authorwenzelm
Mon, 16 Jun 2025 11:38:14 +0200
changeset 82726 b6c55abf5243
parent 82725 b49f65765c58
child 82727 8d20404f5307
more robust;
src/Pure/System/other_isabelle.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/other_isabelle.scala	Mon Jun 16 11:35:54 2025 +0200
+++ b/src/Pure/System/other_isabelle.scala	Mon Jun 16 11:38:14 2025 +0200
@@ -117,7 +117,7 @@
                 if_proper(result.err, "\n" + result.err) + error_context)
           }
         }
-        else getenv("ML_PLATFORM")
+        else getenv_strict("ML_PLATFORM")
 
       override def ml_options: String =
         proper_string(getenv("ML_OPTIONS")) getOrElse
isabelle