Admin/PLATFORMS
changeset 44977 1b2ce8d0f8e3
parent 44876 243e2a413787
child 46006 36cd232b18bb
equal deleted inserted replaced
44976:a75936954fac 44977:1b2ce8d0f8e3
    30 following reference versions (which have been selected to be neither
    30 following reference versions (which have been selected to be neither
    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-darwin        Mac OS Leopard (macbroy30)
    34   x86-darwin        Mac OS Leopard (macbroy30)
       
    35                     Mac OS Snow Leopard (macbroy2)
       
    36                     Mac OS Lion (macbroy6)
    35   x86-cygwin        Cygwin 1.7 (vmbroy9)
    37   x86-cygwin        Cygwin 1.7 (vmbroy9)
    36 
    38 
    37   x86_64-linux      Ubuntu 10.04 LTS
    39   x86_64-linux      Ubuntu 10.04 LTS
    38   x86_64-darwin     Mac OS Leopard (macbroy30)
    40   x86_64-darwin     Mac OS Leopard (macbroy30)
       
    41                     Mac OS Snow Leopard (macbroy2)
       
    42                     Mac OS Lion (macbroy6)
    39 
    43 
    40 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
    41 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).
    42 There are also some additional platforms where Poly/ML also happens to
    46 There are also some additional platforms where Poly/ML also happens to
    43 work, but they are *not* covered by the official Isabelle
    47 work, but they are *not* covered by the official Isabelle