Admin/PLATFORMS
changeset 64402 4f0acbd97491
parent 64387 2a4672722aaa
child 64406 492de9062cd2
equal deleted inserted replaced
64401:7c780152985b 64402:4f0acbd97491
    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                     macOS 10.12 Sierra (?)
    41 
    41 
    42   x86-windows       Windows 7
    42   x86-windows       Windows 7
    43   x86_64-windows    Windows 7
    43   x86_64-windows    Windows 7
    44   x86-cygwin        Cygwin 2.6 http://isabelle.in.tum.de/cygwin_2016-1 (x86/release)
    44   x86-cygwin        Cygwin 2.6 http://isabelle.in.tum.de/cygwin_2016-1 (x86/release)
    45 
    45