Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/PLATFORMS
changeset 78773 9198e785d3d7
parent 78771 d7f4c5c7bebb
child 78777 3b424f9cd5eb
equal deleted inserted replaced
78772:b8c0a45e3381 78773:9198e785d3d7 
    31 nor too new. Common OS families should work: Linux, macOS,
 
    31 nor too new. Common OS families should work: Linux, macOS,
 
    32 Windows. More exotic platforms are unsupported: NixOS, BSD, Solaris.
 
    32 Windows. More exotic platforms are unsupported: NixOS, BSD, Solaris.
 
    33 
    33 
    34 Official platforms:
 
    34 Official platforms:
 
    35 
    35 
    36   x86_64-linux      Ubuntu 16.04 LTS
 
    36   x86_64-linux      Ubuntu 18.04 LTS
 
    37 
    37 
    38   x86_64-darwin     macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2)
 
    38   x86_64-darwin     macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2)
 
    39                     macOS 10.14 Mojave (???)
 
    39                     macOS 10.14 Mojave (???)
 
    40                     macOS 10.15 Catalina (???)
 
    40                     macOS 10.15 Catalina (???)
 
    41                     macOS 11 Big Sur (mini1 Macmini8,1)
 
    41                     macOS 11 Big Sur (mini1 Macmini8,1)
isabelle