more operations;

--- a/src/Pure/General/ssh.scala	Sat Jan 28 20:58:00 2023 +0100
+++ b/src/Pure/General/ssh.scala	Sat Jan 28 21:29:28 2023 +0100
@@ -412,6 +412,9 @@
       Isabelle_System.download_file(url_name, file, progress = progress)
 
     def isabelle_platform: Isabelle_Platform = Isabelle_Platform()
+
+    def isabelle_platform_family: Platform.Family.Value =
+      Platform.Family.parse(isabelle_platform.ISABELLE_PLATFORM_FAMILY)
   }
 
   object Local extends System