Admin/PLATFORMS
changeset 62011 03e69b1bf359
parent 61741 adf6dd1d490e
child 63520 2803d2b8f85d
     1.1 --- a/Admin/PLATFORMS	Thu Dec 31 13:12:47 2015 +0100
     1.2 +++ b/Admin/PLATFORMS	Thu Dec 31 15:26:14 2015 +0100
     1.3 @@ -38,7 +38,7 @@
     1.4                      Mac OS X 10.10 Yosemite (macbroy31)
     1.5                      Mac OS X 10.11 El Capitan
     1.6  
     1.7 -  x86-cygwin        Cygwin 1.7 (vmbroy9)
     1.8 +  x86-cygwin        http://isabelle.in.tum.de/cygwin_2015 (x86/release)
     1.9  
    1.10  All of the above platforms are 100% supported by Isabelle -- end-users
    1.11  should not have to care about the differences (at least in theory).