equal
deleted
inserted
replaced
31 too old nor too new): |
31 too old nor too new): |
32 |
32 |
33 x86-linux Ubuntu 10.04 LTS |
33 x86-linux Ubuntu 10.04 LTS |
34 x86_64-linux Ubuntu 10.04 LTS |
34 x86_64-linux Ubuntu 10.04 LTS |
35 |
35 |
36 x86_64-darwin Mac OS X 10.7 Lion (macbroy6) |
36 x86_64-darwin Mac OS X 10.8 Mountain Lion (macbroy30) |
37 Mac OS X 10.8 Mountain Lion (macbroy30) |
|
38 Mac OS X 10.9 Mavericks (macbroy2) |
37 Mac OS X 10.9 Mavericks (macbroy2) |
39 Mac OS X 10.10 Yosemite (macbroy31) |
38 Mac OS X 10.10 Yosemite (macbroy31) |
|
39 Mac OS X 10.11 El Capitan |
40 |
40 |
41 x86-cygwin Cygwin 1.7 (vmbroy9) |
41 x86-cygwin Cygwin 1.7 (vmbroy9) |
42 |
42 |
43 All of the above platforms are 100% supported by Isabelle -- end-users |
43 All of the above platforms are 100% supported by Isabelle -- end-users |
44 should not have to care about the differences (at least in theory). |
44 should not have to care about the differences (at least in theory). |