1.1 --- a/NEWS	Wed Sep 07 21:05:53 2011 +0200
     1.2 +++ b/NEWS	Wed Sep 07 21:10:47 2011 +0200
     1.3 @@ -463,6 +463,9 @@
     1.4  INCOMPATIBILITY, classical tactics and derived proof methods require
     1.5  proper Proof.context.
     1.6  
     1.7 +
     1.8 +*** System ***
     1.9 +
    1.10  * Scala layer provides JVM method invocation service for static
    1.11  methods of type (String)String, see Invoke_Scala.method in ML.  For
    1.12  example:
    1.13 @@ -472,6 +475,10 @@
    1.14  Togeter with YXML.string_of_body/parse_body and XML.Encode/Decode this
    1.15  allows to pass structured values between ML and Scala.
    1.16  
    1.17 +* The IsabelleText fonts includes some further glyphs to support the
    1.18 +Prover IDE.  Potential INCOMPATIBILITY: users who happen to have
    1.19 +installed a local copy (which is normally *not* required) need to
    1.20 +delete or update it from ~~/lib/fonts/.
    1.21  
    1.22  
    1.23  New in Isabelle2011 (January 2011)