NEWS
changeset 65073 b5bf76cf2b4e
parent 65072 36c650d1a90d
child 65099 30d0b2f1df76
     1.1 --- a/NEWS	Tue Feb 28 23:12:52 2017 +0100
     1.2 +++ b/NEWS	Wed Mar 01 11:26:19 2017 +0100
     1.3 @@ -142,10 +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 +* Isabelle settings ISABELLE_WINDOWS_PLATFORM,
    1.12 +ISABELLE_WINDOWS_PLATFORM32, ISABELLE_WINDOWS_PLATFORM64 indicate the
    1.13 +native Windows platform (independently of the Cygwin installation). This
    1.14 +is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32,
    1.15 +ISABELLE_PLATFORM64.
    1.16  
    1.17  
    1.18