Admin/PLATFORMS
changeset 42424 e94350a2ed20
parent 41668 62ed9f31ea90
child 44876 243e2a413787
     1.1 --- a/Admin/PLATFORMS	Wed Apr 20 13:10:54 2011 +0200
     1.2 +++ b/Admin/PLATFORMS	Wed Apr 20 13:17:25 2011 +0200
     1.3 @@ -29,12 +29,12 @@
     1.4  following reference versions (which have been selected to be neither
     1.5  too old nor too new):
     1.6  
     1.7 -  x86-linux         SuSE 11.0 (atbroy51)
     1.8 -  x86-darwin        Mac OS Leopard (macbroy6)
     1.9 +  x86-linux         SuSE 11.0 (atbroy51) (??)
    1.10 +  x86-darwin        Mac OS Leopard (macbroy30)
    1.11    x86-cygwin        Cygwin 1.7 (atbroy102)
    1.12  
    1.13    x86_64-linux      SuSE 11.0 (atbroy100)
    1.14 -  x86_64-darwin     Mac OS Leopard (macbroy6)
    1.15 +  x86_64-darwin     Mac OS Leopard (macbroy30)
    1.16  
    1.17  All of the above platforms are 100% supported by Isabelle -- end-users
    1.18  should not have to care about the differences at all.  There are also