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