--- a/NEWS Tue Feb 28 23:12:52 2017 +0100
+++ b/NEWS Wed Mar 01 11:26:19 2017 +0100
@@ -142,10 +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.
+* Isabelle settings ISABELLE_WINDOWS_PLATFORM,
+ISABELLE_WINDOWS_PLATFORM32, ISABELLE_WINDOWS_PLATFORM64 indicate the
+native Windows platform (independently of the Cygwin installation). This
+is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32,
+ISABELLE_PLATFORM64.