NEWS
changeset 65072 36c650d1a90d
parent 65064 a4abec71279a
child 65073 b5bf76cf2b4e
     1.1 --- a/NEWS	Tue Feb 28 19:50:08 2017 +0100
     1.2 +++ b/NEWS	Tue Feb 28 23:12:52 2017 +0100
     1.3 @@ -142,6 +142,11 @@
     1.4  * ISABELLE_SCALA_BUILD_OPTIONS has been renamed to
     1.5  ISABELLE_SCALAC_OPTIONS. Rare INCOMPATIBILITY.
     1.6  
     1.7 +* Isabelle settings ISABELLE_WINDOWS_PLATFORM32 and
     1.8 +ISABELLE_WINDOWS_PLATFORM64 indicate the native Windows platform
     1.9 +(independently of the Cygwin installation). This is analogous to
    1.10 +ISABELLE_PLATFORM32 and ISABELLE_PLATFORM64.
    1.11 +
    1.12  
    1.13  
    1.14  New in Isabelle2016-1 (December 2016)