equal
deleted
inserted
replaced
31 following base-line versions (which have been selected to be neither |
31 following base-line versions (which have been selected to be neither |
32 too old nor too new): |
32 too old nor too new): |
33 |
33 |
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.9 Mavericks (macbroy2 MacPro4,1) |
36 x86_64-darwin Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2) |
37 Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2) |
37 Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1) |
38 Mac OS X 10.11 El Capitan (?) |
|
39 macOS 10.12 Sierra (macbroy30 MacBookPro6,2) |
38 macOS 10.12 Sierra (macbroy30 MacBookPro6,2) |
40 |
39 |
41 x86_64-windows Windows 7 |
40 x86_64-windows Windows 7 |
42 x86_64-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86_64/release) |
41 x86_64-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86_64/release) |
43 |
42 |