equal
deleted
inserted
replaced
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 (???) |
43 macOS 13 Ventura (???) |
44 |
44 |
45 arm64-darwin macOS 11 Big Sur |
45 arm64-darwin macOS 11 Big Sur (???) |
|
46 macOS 12 Monterey (???) |
|
47 macOS 13 Ventura (???) |
46 |
48 |
47 x86_64-windows Windows 10 |
49 x86_64-windows Windows 10 |
48 x86_64-cygwin Cygwin 3.3.x https://isabelle.sketis.net/cygwin_2022 (x86_64/release) |
50 x86_64-cygwin Cygwin 3.3.x https://isabelle.sketis.net/cygwin_2022 (x86_64/release) |
49 |
51 |
50 Experimental platforms: |
52 Experimental platforms: |