Admin/PLATFORMS
changeset 72359 9af8124f7f0d
parent 71537 93bdbac68d8d
child 72366 ed99d0f9b536
equal deleted inserted replaced
72358:91f38e34aa3f 72359:9af8124f7f0d
    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