diff -r a75936954fac -r 1b2ce8d0f8e3 Admin/PLATFORMS
--- a/Admin/PLATFORMS	Sun Sep 18 16:11:26 2011 +0200
+++ b/Admin/PLATFORMS	Sun Sep 18 16:24:26 2011 +0200
@@ -32,10 +32,14 @@
 
   x86-linux         Ubuntu 10.04 LTS
   x86-darwin        Mac OS Leopard (macbroy30)
+                    Mac OS Snow Leopard (macbroy2)
+                    Mac OS Lion (macbroy6)
   x86-cygwin        Cygwin 1.7 (vmbroy9)
 
   x86_64-linux      Ubuntu 10.04 LTS
   x86_64-darwin     Mac OS Leopard (macbroy30)
+                    Mac OS Snow Leopard (macbroy2)
+                    Mac OS Lion (macbroy6)
 
 All of the above platforms are 100% supported by Isabelle -- end-users
 should not have to care about the differences (at least in theory).