--- a/src/Pure/System/platform.scala Wed Jun 30 14:03:14 2021 +0200
+++ b/src/Pure/System/platform.scala Wed Jun 30 15:35:39 2021 +0200
@@ -11,9 +11,9 @@
{
/* platform family */
+ def is_windows: Boolean = isabelle.setup.Isabelle_Env.is_windows
val is_linux: Boolean = System.getProperty("os.name", "") == "Linux"
val is_macos: Boolean = System.getProperty("os.name", "") == "Mac OS X"
- val is_windows: Boolean = System.getProperty("os.name", "").startsWith("Windows")
val is_unix: Boolean = is_linux || is_macos
def is_arm: Boolean = cpu_arch.startsWith("arm")