[isabelle-dev] NEWS

[Makarius]

On Sat, 23 Aug 2008, Makarius wrote:

> * Homegrown Isabelle font with unicode layout, see Isabelle/lib/fonts.  

Further font experiments are available here:

  http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/isabelle-fonts/

A version of this material will show up in the Isabelle distribution 
eventually.  At the moment I would like to avoid committing different 
versions of "blobs" in the CVS.


	Makarius