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.
proper SSH operation (amending 956ecf2c07a0);
authorwenzelm
Mon, 16 Jun 2025 11:40:35 +0200
changeset 82727 8d20404f5307
parent 82726 b6c55abf5243
child 82728 06372c3aa2c7
proper SSH operation (amending 956ecf2c07a0);
src/Pure/System/other_isabelle.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/other_isabelle.scala	Mon Jun 16 11:38:14 2025 +0200
+++ b/src/Pure/System/other_isabelle.scala	Mon Jun 16 11:40:35 2025 +0200
@@ -106,7 +106,7 @@
       override def ml_system: String = getenv_strict("ML_SYSTEM")
 
       override def ml_platform: String =
-        if ((isabelle_home + Path.explode("lib/Tools/console")).is_file) {
+        if (ssh.is_file(isabelle_home + Path.explode("lib/Tools/console"))) {
           val Pattern = """.*val ML_PLATFORM = "(.*)".*""".r
           val input = """val ML_PLATFORM = Option.getOpt (OS.Process.getEnv "ML_PLATFORM", "")"""
           val result = bash("bin/isabelle console -r", input = input)
isabelle