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 base-line versions (which have been selected to be neither |
30 following base-line 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 12.04 LTS |
|
34 x86_64-linux Ubuntu 12.04 LTS |
33 x86_64-linux Ubuntu 12.04 LTS |
35 |
34 |
36 x86_64-darwin Mac OS X 10.9 Mavericks (macbroy2 MacPro4,1) |
35 x86_64-darwin Mac OS X 10.9 Mavericks (macbroy2 MacPro4,1) |
37 Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2) |
36 Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2) |
38 Mac OS X 10.11 El Capitan (?) |
37 Mac OS X 10.11 El Capitan (?) |
39 macOS 10.12 Sierra (macbroy30 MacBookPro6,2) |
38 macOS 10.12 Sierra (macbroy30 MacBookPro6,2) |
40 |
39 |
41 x86-windows Windows 7 |
|
42 x86_64-windows Windows 7 |
40 x86_64-windows Windows 7 |
43 x86_64-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86_64/release) |
41 x86_64-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86_64/release) |
44 |
42 |
45 All of the above platforms are 100% supported by Isabelle -- end-users |
43 All of the above platforms are 100% supported by Isabelle -- end-users |
46 should not have to care about the differences (at least in theory). |
44 should not have to care about the differences (at least in theory). |