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