# HG changeset patch
# User wenzelm
# Date 1674937768 -3600
# Node ID 2b8cf3b94cdeadc80f11115ef8e1a8cee5ec1be6
# Parent  c79da77d9e8707a8bff94f26f52ffdebe01f732e
more operations;

diff -r c79da77d9e87 -r 2b8cf3b94cde src/Pure/General/ssh.scala
--- 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