34 Official platforms: |
34 Official platforms: |
35 |
35 |
36 x86_64-linux Ubuntu 16.04 LTS |
36 x86_64-linux Ubuntu 16.04 LTS |
37 |
37 |
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 (???) |
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 Pro, 6+4 cores) |
43 macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2 Pro, 6+4 cores) |
44 macOS 14 Sonoma (???) |
44 macOS 14 Sonoma (mini2 Macmini8,1) |
45 |
45 |
46 arm64-darwin macOS 11 Big Sur (assur Macmini9,1 -- MacMini M1, 4+4 cores) |
46 arm64-darwin macOS 11 Big Sur (assur Macmini9,1 -- MacMini M1, 4+4 cores) |
47 macOS 12 Monterey (???) |
47 macOS 12 Monterey (???) |
48 macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2 Pro, 6+4 cores) |
48 macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2 Pro, 6+4 cores) |
49 macOS 14 Sonoma (???) |
49 macOS 14 Sonoma (studio1 Mac13,2 M1 Ultra, 16+4 cores) |
50 |
50 |
51 x86_64-windows Windows 10 |
51 x86_64-windows Windows 10 |
52 x86_64-cygwin Cygwin 3.4.x https://isabelle.sketis.net/cygwin_2023 (x86_64/release) |
52 x86_64-cygwin Cygwin 3.4.x https://isabelle.sketis.net/cygwin_2023 (x86_64/release) |
53 |
53 |
54 Experimental platforms: |
54 Experimental platforms: |