# HG changeset patch # User wenzelm # Date 1316355866 -7200 # Node ID 1b2ce8d0f8e329f174dbc04e51e6af008e7eab0a # Parent a75936954facdc0daaae3dc701a0ec67551d41d7 more Mac OS reference hardware; 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).