Admin/PLATFORMS
changeset 66691 a8703e8ee1d3
parent 66529 f39e01e9c489
child 66728 ae332cd13955
     1.1 --- a/Admin/PLATFORMS	Mon Sep 25 15:49:27 2017 +0100
     1.2 +++ b/Admin/PLATFORMS	Mon Sep 25 20:43:21 2017 +0200
     1.3 @@ -41,6 +41,7 @@
     1.4    x86-windows       Windows 7
     1.5    x86_64-windows    Windows 7
     1.6    x86-cygwin        Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86/release)
     1.7 +  x86_64-cygwin     Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86_64/release)
     1.8  
     1.9  All of the above platforms are 100% supported by Isabelle -- end-users
    1.10  should not have to care about the differences (at least in theory).
    1.11 @@ -67,7 +68,7 @@
    1.12  help configuring platform-dependent tools:
    1.13  
    1.14    ISABELLE_PLATFORM64  (potentially empty)
    1.15 -  ISABELLE_PLATFORM32
    1.16 +  ISABELLE_PLATFORM32  (potentially empty)
    1.17    ISABELLE_PLATFORM
    1.18  
    1.19  The ISABELLE_PLATFORM setting variable refers to the 32 bit version of