Admin/PLATFORMS
changeset 42424 e94350a2ed20
parent 41668 62ed9f31ea90
child 44876 243e2a413787
equal deleted inserted replaced
42423:5a7217f098bd 42424:e94350a2ed20
    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         SuSE 11.0 (atbroy51)
    32   x86-linux         SuSE 11.0 (atbroy51) (??)
    33   x86-darwin        Mac OS Leopard (macbroy6)
    33   x86-darwin        Mac OS Leopard (macbroy30)
    34   x86-cygwin        Cygwin 1.7 (atbroy102)
    34   x86-cygwin        Cygwin 1.7 (atbroy102)
    35 
    35 
    36   x86_64-linux      SuSE 11.0 (atbroy100)
    36   x86_64-linux      SuSE 11.0 (atbroy100)
    37   x86_64-darwin     Mac OS Leopard (macbroy6)
    37   x86_64-darwin     Mac OS Leopard (macbroy30)
    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