38 x86_64-darwin macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2) |
38 x86_64-darwin macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2) |
39 macOS 10.14 Mojave (mini2 Macmini8,1) |
39 macOS 10.14 Mojave (mini2 Macmini8,1) |
40 macOS 10.15 Catalina (???) |
40 macOS 10.15 Catalina (???) |
41 macOS 11 Big Sur (mini1 Macmini8,1) |
41 macOS 11 Big Sur (mini1 Macmini8,1) |
42 macOS 12 Monterey (laramac01 Macmini8,1) |
42 macOS 12 Monterey (laramac01 Macmini8,1) |
43 macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2) |
43 macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2 Pro, 6+4 cores) |
44 |
44 |
45 arm64-darwin macOS 11 Big Sur (assur Macmini9,1 -- MacMini M1) |
45 arm64-darwin macOS 11 Big Sur (assur Macmini9,1 -- MacMini M1, 4+4 cores) |
46 macOS 12 Monterey (???) |
46 macOS 12 Monterey (???) |
47 macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2) |
47 macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2 Pro, 6+4 cores) |
48 |
48 |
49 x86_64-windows Windows 10 |
49 x86_64-windows Windows 10 |
50 x86_64-cygwin Cygwin 3.4.x https://isabelle.sketis.net/cygwin_2023 (x86_64/release) |
50 x86_64-cygwin Cygwin 3.4.x https://isabelle.sketis.net/cygwin_2023 (x86_64/release) |
51 |
51 |
52 Experimental platforms: |
52 Experimental platforms: |