--- 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)