NEWS
changeset 50182 30177ec0be36
parent 50141 15523888c11b
child 50183 2b3e24e1c9e7
     1.1 --- a/NEWS	Fri Nov 23 23:07:58 2012 +0100
     1.2 +++ b/NEWS	Sat Nov 24 12:39:58 2012 +0100
     1.3 @@ -350,6 +350,9 @@
     1.4  settings manually, or use a Proof General version that has been
     1.5  bundled as Isabelle component.
     1.6  
     1.7 +* Settings variable ISABELLE_PLATFORM_FAMILY refers to the general
     1.8 +platform family: "linux", "macos", "windows".
     1.9 +
    1.10  
    1.11  New in Isabelle2012 (May 2012)
    1.12  ------------------------------