equal
deleted
inserted
replaced
36 x86_64-darwin Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2) |
36 x86_64-darwin Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2) |
37 Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1) |
37 Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1) |
38 macOS 10.12 Sierra (macbroy30 MacBookPro6,2) |
38 macOS 10.12 Sierra (macbroy30 MacBookPro6,2) |
39 macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2) |
39 macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2) |
40 macOS 10.14 Mojave (lapnipkow3 MacBookPro9,2) |
40 macOS 10.14 Mojave (lapnipkow3 MacBookPro9,2) |
|
41 macOS 10.15 Catalina (laramac01 Macmini8,1) |
41 |
42 |
42 x86_64-windows Windows 7 |
43 x86_64-windows Windows 7 |
43 x86_64-cygwin Cygwin 2.10 https://isabelle.sketis.net/cygwin_2018 (x86_64/release) |
44 x86_64-cygwin Cygwin 2.10 https://isabelle.sketis.net/cygwin_2018 (x86_64/release) |
44 |
45 |
45 All of the above platforms are 100% supported by Isabelle -- end-users |
46 All of the above platforms are 100% supported by Isabelle -- end-users |