--- 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