Admin/PLATFORMS
changeset 40789 301e91df039d
parent 36204 16c371c6ff86
child 41458 5eca258324ca
equal deleted inserted replaced
40788:61ebeb050db1 40789:301e91df039d
    27 The following hardware and operating system platforms are officially
    27 The following hardware and operating system platforms are officially
    28 supported by the Isabelle distribution (and bundled tools), with the
    28 supported by the Isabelle distribution (and bundled tools), with the
    29 following reference versions (which have been selected to be neither
    29 following reference versions (which have been selected to be neither
    30 too old nor too new):
    30 too old nor too new):
    31 
    31 
    32   x86-linux         Ubuntu 8.04 LTS Server
    32   x86-linux         SuSE 11.0 (atbroy51)
    33   x86-darwin        Mac OS Leopard
    33   x86-darwin        Mac OS Leopard (macbroy6)
    34   x86-cygwin        Cygwin 1.7
    34   x86-cygwin        Cygwin 1.7 (atbroy102)
    35 
    35 
    36   x86_64-linux      Ubuntu 8.04 LTS Server (64)
    36   x86_64-linux      SuSE 11.0 (atbroy100)
    37   x86_64-darwin     Mac OS Leopard
    37   x86_64-darwin     Mac OS Leopard (macbroy6)
    38 
    38 
    39 All of the above platforms are 100% supported by Isabelle -- end-users
    39 All of the above platforms are 100% supported by Isabelle -- end-users
    40 should not have to care about the differences at all.  There are also
    40 should not have to care about the differences at all.  There are also
    41 some secondary platforms where Poly/ML also happens to work:
    41 some secondary platforms where Poly/ML also happens to work:
    42 
    42