NEWS

--- a/NEWS	Thu Aug 20 13:41:53 2015 +0200
+++ b/NEWS	Thu Aug 20 14:13:00 2015 +0200
@@ -286,6 +286,12 @@
 the proof context discipline.
 
 
+*** System ***
+
+* Poly/ML 5.5.3 runs natively on x86-windows, with somewhat larger heap
+space than former x86-cygwin.
+
+
 
 New in Isabelle2015 (May 2015)
 ------------------------------