equal
deleted
inserted
replaced
35 |
35 |
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 (!?) |
39 macOS 10.13 High Sierra (!?) |
40 macOS 10.14 Mojave (!?) |
40 macOS 10.14 Mojave (lapnipkow3 MacBookPro9,2) |
41 |
41 |
42 x86_64-windows Windows 7 |
42 x86_64-windows Windows 7 |
43 x86_64-cygwin Cygwin 2.10 https://isabelle.sketis.net/cygwin_2018 (x86_64/release) |
43 x86_64-cygwin Cygwin 2.10 https://isabelle.sketis.net/cygwin_2018 (x86_64/release) |
44 |
44 |
45 All of the above platforms are 100% supported by Isabelle -- end-users |
45 All of the above platforms are 100% supported by Isabelle -- end-users |