Admin/PLATFORMS
changeset 64337 e3b57c8046cb
parent 63520 2803d2b8f85d
child 64339 321065f9f55b
equal deleted inserted replaced
64336:beb3ebb9f567 64337:e3b57c8046cb
    34   x86_64-linux      Ubuntu 12.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 (??)
       
    40                     macOS 10.12 Sierra (???)
    40 
    41 
    41   x86-cygwin        http://isabelle.in.tum.de/cygwin_2015 (x86/release)
    42   x86-cygwin        http://isabelle.in.tum.de/cygwin_2015 (x86/release)
    42 
    43 
    43 All of the above platforms are 100% supported by Isabelle -- end-users
    44 All of the above platforms are 100% supported by Isabelle -- end-users
    44 should not have to care about the differences (at least in theory).
    45 should not have to care about the differences (at least in theory).