equal
deleted
inserted
replaced
29 The following hardware and operating system platforms are officially |
29 The following hardware and operating system platforms are officially |
30 supported by the Isabelle distribution (and bundled tools), with the |
30 supported by the Isabelle distribution (and bundled tools), with the |
31 following base-line versions (which have been selected to be neither |
31 following base-line versions (which have been selected to be neither |
32 too old nor too new): |
32 too old nor too new): |
33 |
33 |
34 x86_64-linux Ubuntu 12.04 LTS |
34 x86_64-linux Ubuntu 14.04 LTS |
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 (lapbroy68 MacBookPro11,2) |
39 macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2) |