Admin/PLATFORMS
changeset 44977 1b2ce8d0f8e3
parent 44876 243e2a413787
child 46006 36cd232b18bb
     1.1 --- a/Admin/PLATFORMS	Sun Sep 18 16:11:26 2011 +0200
     1.2 +++ b/Admin/PLATFORMS	Sun Sep 18 16:24:26 2011 +0200
     1.3 @@ -32,10 +32,14 @@
     1.4  
     1.5    x86-linux         Ubuntu 10.04 LTS
     1.6    x86-darwin        Mac OS Leopard (macbroy30)
     1.7 +                    Mac OS Snow Leopard (macbroy2)
     1.8 +                    Mac OS Lion (macbroy6)
     1.9    x86-cygwin        Cygwin 1.7 (vmbroy9)
    1.10  
    1.11    x86_64-linux      Ubuntu 10.04 LTS
    1.12    x86_64-darwin     Mac OS Leopard (macbroy30)
    1.13 +                    Mac OS Snow Leopard (macbroy2)
    1.14 +                    Mac OS Lion (macbroy6)
    1.15  
    1.16  All of the above platforms are 100% supported by Isabelle -- end-users
    1.17  should not have to care about the differences (at least in theory).