updated reference platforms;
authorwenzelm
Sun Nov 28 17:58:38 2010 +0100 (2010-11-28)
changeset 40789301e91df039d
parent 40788 61ebeb050db1
child 40790 cd7b17ba502b
updated reference platforms;
Admin/PLATFORMS
     1.1 --- a/Admin/PLATFORMS	Sun Nov 28 16:42:54 2010 +0100
     1.2 +++ b/Admin/PLATFORMS	Sun Nov 28 17:58:38 2010 +0100
     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         Ubuntu 8.04 LTS Server
     1.8 -  x86-darwin        Mac OS Leopard
     1.9 -  x86-cygwin        Cygwin 1.7
    1.10 +  x86-linux         SuSE 11.0 (atbroy51)
    1.11 +  x86-darwin        Mac OS Leopard (macbroy6)
    1.12 +  x86-cygwin        Cygwin 1.7 (atbroy102)
    1.13  
    1.14 -  x86_64-linux      Ubuntu 8.04 LTS Server (64)
    1.15 -  x86_64-darwin     Mac OS Leopard
    1.16 +  x86_64-linux      SuSE 11.0 (atbroy100)
    1.17 +  x86_64-darwin     Mac OS Leopard (macbroy6)
    1.18  
    1.19  All of the above platforms are 100% supported by Isabelle -- end-users
    1.20  should not have to care about the differences at all.  There are also