# HG changeset patch
# User wenzelm
# Date 1276255528 -7200
# Node ID 02592ec68afb6c477c04d27d394407188125a13c
# Parent  dced658407c41b6a112234eb03837eb59ea16446
NEWS: IsabelleText font;

diff -r dced658407c4 -r 02592ec68afb NEWS
--- a/NEWS	Wed Jun 09 18:24:23 2010 +0200
+++ b/NEWS	Fri Jun 11 13:25:28 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)