# HG changeset patch
# User wenzelm
# Date 1315422647 -7200
# Node ID aecfefb05731a0ab5a01ede0e829c86523bedb8e
# Parent  65c397cc44ecfab21205c674fce08cda0c9e2d23
NEWS on IsabelleText font;

diff -r 65c397cc44ec -r aecfefb05731 NEWS
--- a/NEWS	Wed Sep 07 21:05:53 2011 +0200
+++ b/NEWS	Wed Sep 07 21:10:47 2011 +0200
@@ -463,6 +463,9 @@
 INCOMPATIBILITY, classical tactics and derived proof methods require
 proper Proof.context.
 
+
+*** System ***
+
 * Scala layer provides JVM method invocation service for static
 methods of type (String)String, see Invoke_Scala.method in ML.  For
 example:
@@ -472,6 +475,10 @@
 Togeter with YXML.string_of_body/parse_body and XML.Encode/Decode this
 allows to pass structured values between ML and Scala.
 
+* The IsabelleText fonts includes some further glyphs to support the
+Prover IDE.  Potential INCOMPATIBILITY: users who happen to have
+installed a local copy (which is normally *not* required) need to
+delete or update it from ~~/lib/fonts/.
 
 
 New in Isabelle2011 (January 2011)