# 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