updated reference machines;
authorwenzelm
Wed Apr 20 13:17:25 2011 +0200 (2011-04-20)
changeset 42424e94350a2ed20
parent 42423 5a7217f098bd
child 42425 2aa907d5ee4f
child 42430 64176801794a
updated reference machines;
Admin/PLATFORMS
     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