src/Pure/General/ssh.scala

--- a/src/Pure/General/ssh.scala	Tue Sep 29 15:38:21 2020 +0200
+++ b/src/Pure/General/ssh.scala	Tue Sep 29 19:49:25 2020 +0200
@@ -463,6 +463,8 @@
         strict: Boolean = true): Process_Result =
       exec(command).result(progress_stdout, progress_stderr, strict)
 
+    override def isabelle_platform: Isabelle_Platform = Isabelle_Platform.remote(this)
+
 
     /* tmp dirs */
 
@@ -482,7 +484,6 @@
   }
 
 
-
   /* system operations */
 
   trait System
@@ -501,6 +502,8 @@
         strict: Boolean = true): Process_Result =
       Isabelle_System.bash(command, progress_stdout = progress_stdout,
         progress_stderr = progress_stderr, strict = strict)
+
+    def isabelle_platform: Isabelle_Platform = Isabelle_Platform.local()
   }
 
   object Local extends System