Admin/PLATFORMS
changeset 64387 2a4672722aaa
parent 64344 c1695143de35
child 64402 4f0acbd97491
equal deleted inserted replaced
64386:e936967c2a06 64387:2a4672722aaa
    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        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 
    46 All of the above platforms are 100% supported by Isabelle -- end-users
    46 All of the above platforms are 100% supported by Isabelle -- end-users
    47 should not have to care about the differences (at least in theory).
    47 should not have to care about the differences (at least in theory).
    48 
    48 
    49 Fringe platforms like BSD or Solaris are not supported.
    49 Fringe platforms like BSD or Solaris are not supported.