equal
deleted
inserted
replaced
28 The following hardware and operating system platforms are officially |
28 The following hardware and operating system platforms are officially |
29 supported by the Isabelle distribution (and bundled tools), with the |
29 supported by the Isabelle distribution (and bundled tools), with the |
30 following reference versions (which have been selected to be neither |
30 following reference versions (which have been selected to be neither |
31 too old nor too new): |
31 too old nor too new): |
32 |
32 |
33 x86-linux Ubuntu 10.04 LTS |
33 x86-linux Ubuntu 12.04 LTS |
34 x86_64-linux Ubuntu 10.04 LTS |
34 x86_64-linux Ubuntu 12.04 LTS |
35 |
35 |
36 x86_64-darwin Mac OS X 10.8 Mountain Lion (macbroy30) |
36 x86_64-darwin Mac OS X 10.8 Mountain Lion (macbroy30) |
37 Mac OS X 10.9 Mavericks (macbroy2) |
37 Mac OS X 10.9 Mavericks (macbroy2) |
38 Mac OS X 10.10 Yosemite (macbroy31) |
38 Mac OS X 10.10 Yosemite (macbroy31) |
39 Mac OS X 10.11 El Capitan |
39 Mac OS X 10.11 El Capitan |