equal
deleted
inserted
replaced
31 too old nor too new): |
31 too old nor too new): |
32 |
32 |
33 x86-linux Ubuntu 12.04 LTS |
33 x86-linux Ubuntu 12.04 LTS |
34 x86_64-linux Ubuntu 12.04 LTS |
34 x86_64-linux Ubuntu 12.04 LTS |
35 |
35 |
36 x86_64-darwin Mac OS X 10.8 Mountain Lion (macbroy30 MacBookPro6,2) |
36 x86_64-darwin Mac OS X 10.9 Mavericks (macbroy2 MacPro4,1) |
37 Mac OS X 10.9 Mavericks (macbroy2 MacPro4,1) |
|
38 Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2) |
37 Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2) |
39 Mac OS X 10.11 El Capitan (?) |
38 Mac OS X 10.11 El Capitan (?) |
40 macOS 10.12 Sierra (?) |
39 macOS 10.12 Sierra (macbroy30 MacBookPro6,2) |
41 |
40 |
42 x86-windows Windows 7 |
41 x86-windows Windows 7 |
43 x86_64-windows Windows 7 |
42 x86_64-windows Windows 7 |
44 x86-cygwin Cygwin 2.6 http://isabelle.in.tum.de/cygwin_2016-1 (x86/release) |
43 x86-cygwin Cygwin 2.6 http://isabelle.in.tum.de/cygwin_2016-1 (x86/release) |
45 |
44 |