diff -r 4949ae210c38 -r 07d4f74abd12 NEWS
--- a/NEWS	Mon Apr 19 10:19:37 2010 +0200
+++ b/NEWS	Mon Apr 19 10:56:26 2010 +0200
@@ -339,6 +339,13 @@
 feature since Isabelle2009).  Use ISABELLE_PROCESS and ISABELLE_TOOL,
 respectively.
 
+* Old lib/scripts/polyml-platform is superseded by the
+ISABELLE_PLATFORM setting variable, which defaults to the 32 bit
+variant, even on a 64 bit machine.  The following example setting
+prefers 64 bit if available:
+
+  ML_PLATFORM="${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}"
+
 
 
 New in Isabelle2009-1 (December 2009)