Admin/PLATFORMS
changeset 62011 03e69b1bf359
parent 61741 adf6dd1d490e
child 63520 2803d2b8f85d
equal deleted inserted replaced
62010:16d9748071ba 62011:03e69b1bf359
    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 
    40 
    41   x86-cygwin        Cygwin 1.7 (vmbroy9)
    41   x86-cygwin        http://isabelle.in.tum.de/cygwin_2015 (x86/release)
    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).
    45 
    45 
    46 Fringe platforms like BSD or Solaris are unsupported.
    46 Fringe platforms like BSD or Solaris are unsupported.