--- a/src/Pure/System/platform.scala Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/System/platform.scala Fri Apr 01 17:06:10 2022 +0200
@@ -7,8 +7,7 @@
package isabelle
-object Platform
-{
+object Platform {
/* platform family */
val is_windows: Boolean = isabelle.setup.Environment.is_windows()
@@ -25,8 +24,7 @@
else if (is_windows) Family.windows
else error("Failed to determine current platform family")
- object Family extends Enumeration
- {
+ object Family extends Enumeration {
val linux_arm, linux, macos, windows = Value
val list0: List[Value] = List(linux, windows, macos)
val list: List[Value] = List(linux, linux_arm, windows, macos)