changeset 66529 | f39e01e9c489 |
parent 65369 | 27c1b5e952bd |
child 66691 | a8703e8ee1d3 |
--- a/Admin/PLATFORMS Sat Aug 26 18:58:40 2017 +0200 +++ b/Admin/PLATFORMS Mon Aug 28 19:06:00 2017 +0200 @@ -40,7 +40,7 @@ x86-windows Windows 7 x86_64-windows Windows 7 - x86-cygwin Cygwin 2.6 http://isabelle.in.tum.de/cygwin_2016-1 (x86/release) + x86-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86/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).