NEWS

--- a/NEWS	Fri Nov 23 23:07:58 2012 +0100
+++ b/NEWS	Sat Nov 24 12:39:58 2012 +0100
@@ -350,6 +350,9 @@
 settings manually, or use a Proof General version that has been
 bundled as Isabelle component.
 
+* Settings variable ISABELLE_PLATFORM_FAMILY refers to the general
+platform family: "linux", "macos", "windows".
+
 
 New in Isabelle2012 (May 2012)
 ------------------------------