1.1 --- a/Admin/PLATFORMS Sun Nov 28 16:42:54 2010 +0100
1.2 +++ b/Admin/PLATFORMS Sun Nov 28 17:58:38 2010 +0100
1.3 @@ -29,12 +29,12 @@
1.4 following reference versions (which have been selected to be neither
1.5 too old nor too new):
1.6
1.7 - x86-linux Ubuntu 8.04 LTS Server
1.8 - x86-darwin Mac OS Leopard
1.9 - x86-cygwin Cygwin 1.7
1.10 + x86-linux SuSE 11.0 (atbroy51)
1.11 + x86-darwin Mac OS Leopard (macbroy6)
1.12 + x86-cygwin Cygwin 1.7 (atbroy102)
1.13
1.14 - x86_64-linux Ubuntu 8.04 LTS Server (64)
1.15 - x86_64-darwin Mac OS Leopard
1.16 + x86_64-linux SuSE 11.0 (atbroy100)
1.17 + x86_64-darwin Mac OS Leopard (macbroy6)
1.18
1.19 All of the above platforms are 100% supported by Isabelle -- end-users
1.20 should not have to care about the differences at all. There are also