equal
deleted
inserted
replaced
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 (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 (mini1 Macmini8,1) |
41 macOS 11 Big Sur (mini1 Macmini8,1) |
42 |
42 |
43 arm64-darwin macOS 11.1 Big Sur |
43 arm64-darwin macOS 11 Big Sur |
44 |
44 |
45 x86_64-windows Windows 10 |
45 x86_64-windows Windows 10 |
46 x86_64-cygwin Cygwin 3.1.x https://isabelle.sketis.net/cygwin_2021 (x86_64/release) |
46 x86_64-cygwin Cygwin 3.1.x https://isabelle.sketis.net/cygwin_2021 (x86_64/release) |
47 |
47 |
48 Experimental platforms: |
48 Experimental platforms: |