equal
deleted
inserted
replaced
36 x86_64-darwin Mac OS X 10.8 Mountain Lion (macbroy30) |
36 x86_64-darwin Mac OS X 10.8 Mountain Lion (macbroy30) |
37 Mac OS X 10.9 Mavericks (macbroy2) |
37 Mac OS X 10.9 Mavericks (macbroy2) |
38 Mac OS X 10.10 Yosemite (macbroy31) |
38 Mac OS X 10.10 Yosemite (macbroy31) |
39 Mac OS X 10.11 El Capitan |
39 Mac OS X 10.11 El Capitan |
40 |
40 |
41 x86-cygwin Cygwin 1.7 (vmbroy9) |
41 x86-cygwin http://isabelle.in.tum.de/cygwin_2015 (x86/release) |
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). |
45 |
45 |
46 Fringe platforms like BSD or Solaris are unsupported. |
46 Fringe platforms like BSD or Solaris are unsupported. |