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.6 http://isabelle.in.tum.de/cygwin_2016-1 (x86/release) |
43 x86-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86/release) |
44 |
44 |
45 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 |
46 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). |
47 |
47 |
48 Fringe platforms like BSD or Solaris are not supported. |
48 Fringe platforms like BSD or Solaris are not supported. |