Admin/PLATFORMS
changeset 61741 adf6dd1d490e
parent 61294 2d3d26e9b191
child 62011 03e69b1bf359
equal deleted inserted replaced
61740:d7e0315fe423 61741:adf6dd1d490e
    31 too old nor too new):
    31 too old nor too new):
    32 
    32 
    33   x86-linux         Ubuntu 10.04 LTS
    33   x86-linux         Ubuntu 10.04 LTS
    34   x86_64-linux      Ubuntu 10.04 LTS
    34   x86_64-linux      Ubuntu 10.04 LTS
    35 
    35 
    36   x86_64-darwin     Mac OS X 10.7 Lion (macbroy6)
    36   x86_64-darwin     Mac OS X 10.8 Mountain Lion (macbroy30)
    37                     Mac OS X 10.8 Mountain Lion (macbroy30)
       
    38                     Mac OS X 10.9 Mavericks (macbroy2)
    37                     Mac OS X 10.9 Mavericks (macbroy2)
    39                     Mac OS X 10.10 Yosemite (macbroy31)
    38                     Mac OS X 10.10 Yosemite (macbroy31)
       
    39                     Mac OS X 10.11 El Capitan
    40 
    40 
    41   x86-cygwin        Cygwin 1.7 (vmbroy9)
    41   x86-cygwin        Cygwin 1.7 (vmbroy9)
    42 
    42 
    43 All of the above platforms are 100% supported by Isabelle -- end-users
    43 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).
    44 should not have to care about the differences (at least in theory).