changeset 68374 | 8740e1241555 |
parent 68002 | 13d5b2fc9b02 |
child 69165 | c360f3b603f8 |
--- a/Admin/PLATFORMS Mon Jun 04 14:21:16 2018 +0200 +++ b/Admin/PLATFORMS Mon Jun 04 21:57:38 2018 +0200 @@ -39,7 +39,7 @@ macOS 10.13 High Sierra x86_64-windows Windows 7 - x86_64-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86_64/release) + x86_64-cygwin Cygwin 2.10 https://isabelle.sketis.net/cygwin_2018 (x86_64/release) All of the above platforms are 100% supported by Isabelle -- end-users should not have to care about the differences (at least in theory).