# HG changeset patch # User wenzelm # Date 1610996272 -3600 # Node ID d63c6fcccff258e7fd41335712e8c428f0a5cf43 # Parent 56107393f2efd8e4ebefca50b09135d231de5c32 clarified platforms; diff -r 56107393f2ef -r d63c6fcccff2 Admin/PLATFORMS --- a/Admin/PLATFORMS Mon Jan 18 19:53:20 2021 +0100 +++ b/Admin/PLATFORMS Mon Jan 18 19:57:52 2021 +0100 @@ -38,6 +38,7 @@ x86_64-darwin macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2) macOS 10.14 Mojave (mini2 Macmini8,1) macOS 10.15 Catalina (laramac01 Macmini8,1) + macOS 11.1 Big Sur x86_64-windows Windows 10 x86_64-cygwin Cygwin 3.1.x https://isabelle.sketis.net/cygwin_2021 (x86_64/release) @@ -46,7 +47,7 @@ arm64-linux Raspberry Pi OS 64bit beta (Debian 10 / Buster) - x86_64-darwin macOS 11 Big Sur + arm64-darwin macOS 11.1 Big Sur 64 bit vs. 32 bit platform personality