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 macOS 10.15 Catalina (laramac01 Macmini8,1) |
42 |
42 |
43 x86_64-windows Windows 7 |
43 x86_64-windows Windows 7 |
44 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_2021 (x86_64/release) |
45 |
45 |
46 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 |
47 should not have to care about the differences (at least in theory). |
47 should not have to care about the differences (at least in theory). |
48 |
48 |
49 Exotic platforms like BSD, Solaris, NixOS are not supported. |
49 Partial support for ARM (e.g. Raspberry Pi) is available: |
|
50 |
|
51 arm64-linux Ubuntu 20.04 LTS |
|
52 |
|
53 Exotic operating systems like BSD, Solaris, NixOS are unsupported. |
50 |
54 |
51 |
55 |
52 64 bit vs. 32 bit platform personality |
56 64 bit vs. 32 bit platform personality |
53 -------------------------------------- |
57 -------------------------------------- |
54 |
58 |