equal
deleted
inserted
replaced
38 Mac OS X 10.11 El Capitan (?) |
38 Mac OS X 10.11 El Capitan (?) |
39 macOS 10.12 Sierra (macbroy30 MacBookPro6,2) |
39 macOS 10.12 Sierra (macbroy30 MacBookPro6,2) |
40 |
40 |
41 x86-windows Windows 7 |
41 x86-windows Windows 7 |
42 x86_64-windows Windows 7 |
42 x86_64-windows Windows 7 |
43 x86-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86/release) |
|
44 x86_64-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86_64/release) |
43 x86_64-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86_64/release) |
45 |
44 |
46 All of the above platforms are 100% supported by Isabelle -- end-users |
45 All of the above platforms are 100% supported by Isabelle -- end-users |
47 should not have to care about the differences (at least in theory). |
46 should not have to care about the differences (at least in theory). |
48 |
47 |