# HG changeset patch
# User wenzelm
# Date 1276542615 -7200
# Node ID 0eacedd5f780607adc148c0f983df7164692c521
# Parent  d66e6cc47fab982481d3c4518ab2d82d2338adde# Parent  02592ec68afb6c477c04d27d394407188125a13c
merged

diff -r d66e6cc47fab -r 0eacedd5f780 NEWS
--- a/NEWS	Sun Jun 13 23:04:09 2010 +0200
+++ b/NEWS	Mon Jun 14 21:10:15 2010 +0200
@@ -652,6 +652,13 @@
 See src/Tools/jEdit or "isabelle jedit" provided by the properly built
 component.
 
+* "IsabelleText" is a Unicode font derived from Bitstream Vera Mono
+and Bluesky TeX fonts.  It provides the usual Isabelle symbols,
+similar to the default assignment of the document preparation system
+(cf. isabellesym.sty).  The Isabelle/Scala class Isabelle_System
+provides some operations for direct access to the font without asking
+the user for manual installation.
+
 
 
 New in Isabelle2009-1 (December 2009)