--- a/Admin/components/PLATFORMS Sat Oct 14 14:27:54 2023 +0200
+++ b/Admin/components/PLATFORMS Sat Oct 14 14:38:40 2023 +0200
@@ -36,17 +36,17 @@
x86_64-linux Ubuntu 16.04 LTS
x86_64-darwin macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2)
- macOS 10.14 Mojave (mini2 Macmini8,1)
+ macOS 10.14 Mojave (???)
macOS 10.15 Catalina (???)
macOS 11 Big Sur (mini1 Macmini8,1)
macOS 12 Monterey (laramac01 Macmini8,1)
macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2 Pro, 6+4 cores)
- macOS 14 Sonoma (???)
+ macOS 14 Sonoma (mini2 Macmini8,1)
arm64-darwin macOS 11 Big Sur (assur Macmini9,1 -- MacMini M1, 4+4 cores)
macOS 12 Monterey (???)
macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2 Pro, 6+4 cores)
- macOS 14 Sonoma (???)
+ macOS 14 Sonoma (studio1 Mac13,2 M1 Ultra, 16+4 cores)
x86_64-windows Windows 10
x86_64-cygwin Cygwin 3.4.x https://isabelle.sketis.net/cygwin_2023 (x86_64/release)