equal
deleted
inserted
replaced
36 x86_64-linux Ubuntu 14.04 LTS |
36 x86_64-linux Ubuntu 14.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 (mini2 Macmini8,1) |
40 macOS 10.15 Catalina (laramac01 Macmini8,1) |
40 macOS 10.15 Catalina (laramac01 Macmini8,1) |
41 macOS 11.1 Big Sur (mini2 Macmini8,1) |
41 macOS 11.1 Big Sur (mini1 Macmini8,1) |
42 |
42 |
43 x86_64-windows Windows 10 |
43 x86_64-windows Windows 10 |
44 x86_64-cygwin Cygwin 3.1.x https://isabelle.sketis.net/cygwin_2021 (x86_64/release) |
44 x86_64-cygwin Cygwin 3.1.x https://isabelle.sketis.net/cygwin_2021 (x86_64/release) |
45 |
45 |
46 New (experimental): |
46 New (experimental): |