# HG changeset patch
# User wenzelm
# Date 1303298245 -7200
# Node ID e94350a2ed20d34b79de8e6ced5272343838d777
# Parent  5a7217f098bd03b96340ee380c378672a6bac05f
updated reference machines;

diff -r 5a7217f098bd -r e94350a2ed20 Admin/PLATFORMS
--- a/Admin/PLATFORMS	Wed Apr 20 13:10:54 2011 +0200
+++ b/Admin/PLATFORMS	Wed Apr 20 13:17:25 2011 +0200
@@ -29,12 +29,12 @@
 following reference versions (which have been selected to be neither
 too old nor too new):
 
-  x86-linux         SuSE 11.0 (atbroy51)
-  x86-darwin        Mac OS Leopard (macbroy6)
+  x86-linux         SuSE 11.0 (atbroy51) (??)
+  x86-darwin        Mac OS Leopard (macbroy30)
   x86-cygwin        Cygwin 1.7 (atbroy102)
 
   x86_64-linux      SuSE 11.0 (atbroy100)
-  x86_64-darwin     Mac OS Leopard (macbroy6)
+  x86_64-darwin     Mac OS Leopard (macbroy30)
 
 All of the above platforms are 100% supported by Isabelle -- end-users
 should not have to care about the differences at all.  There are also