# 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